{"entities":{"Q741087":{"pageid":742936,"ns":120,"title":"Item:Q741087","lastrevid":64062051,"modified":"2026-04-11T17:23:19Z","type":"item","id":"Q741087","labels":{"en":{"language":"en","value":"The bounded proof property via step algebras and step frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6342366"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$DD0713FD-476D-4962-A1FB-16894D425FAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baf524c5e2e9f82c8922f6f77c04bd908e5bc038","datavalue":{"value":{"text":"The bounded proof property via step algebras and step frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q741087$87CC075C-32BD-4228-99DD-E17149E81FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9192606594e453a39278c79cdf0a0944f6ad473e","datavalue":{"value":"1361.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741087$AA93D3C3-0040-4A10-A560-9C2FA046AED0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$E8054AF2-9272-4321-898E-D003E7790A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$1B26F22F-C0EA-4E31-881F-E4FB527C300F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$D1E8D90B-00F7-4D09-88B2-70B24C34AF90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a50794c4d3cd462e6935f5d99c79b15a0a0d6b7","datavalue":{"value":{"time":"+2014-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q741087$0121D236-EEA6-4B50-89DA-3615B1611D56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741087$28997DDF-B01A-48FB-B4AA-792AAACB26ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741087$B6CEB3D0-B392-4C52-87F5-B5002CC2AEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741087$793122D6-44FA-49ED-B346-8236172939C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec012534914da150e32238d9ef99be9cea591132","datavalue":{"value":"6342366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741087$975A628B-4D92-488F-B0C8-6862446B44F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q741087$CF9ED93F-1B86-486C-8619-E3EF1A622226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7ec74087b8920867fb4a5fd2f3d76d0881e337","datavalue":{"value":"bounded proof property","type":"string"},"datatype":"string"},"type":"statement","id":"Q741087$AC046309-55FB-4CC0-AE84-461DA1832F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q741087$CE905EDD-68C1-4301-83F8-2DF6DB08A719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98138cf3cdb789b4a7d11830ad7315d645b6fd67","datavalue":{"value":"step correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q741087$DCDA28B3-BDF9-495D-8A06-C4DAD5AF7664","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$4F217BF4-9858-4573-8A40-A43CE0B4E697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$1544AD2D-FF87-4627-B187-0203FB10A21C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$711645A4-1DFB-434C-9613-3A6F0A31D461","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5d0850e6e3192323c119cf57165b0b444e097c2","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q741087$08E14570-2DD4-4B37-B39A-62C8774BE2AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ca02c138e7393ad7816ded8c55ba3856ac7df97","datavalue":{"value":"W2000108579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741087$D7609E7D-7F92-4C36-8B08-7521BB69C8CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e36ee4012ef546cb881d1f8055042f64fc036","datavalue":{"value":{"entity-type":"item","numeric-id":3007237,"id":"Q3007237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$187BD615-76DA-4A65-96BC-FAA986A24A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$6A018A6D-CC05-4640-9F08-A9A8D53401D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$E4DB0F90-4970-4CAD-9972-79350BD4CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6096cf583b76b4878eda247379f38feaf8747627","datavalue":{"value":{"entity-type":"item","numeric-id":3010359,"id":"Q3010359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$56EF09BF-81B0-495D-9DEE-5FF749D74ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf5efaf63f9c462dcdd45d8bf21b25538f54951","datavalue":{"value":{"entity-type":"item","numeric-id":2946716,"id":"Q2946716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$44F78532-281A-4112-BCCE-975787AAAFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607032864cb06dec4fa711d9a8c97f9a6304f17b","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$FF579ADD-FFDE-4651-8470-A5E1F2D9D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$81E73E3F-378F-4F38-A9E2-607D91874AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c918bb0d37d193ae56f522b6070df3640b429216","datavalue":{"value":{"entity-type":"item","numeric-id":5718684,"id":"Q5718684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$78CF8C86-06B7-42C0-9B70-CF06C2EE8149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$6C587764-EED4-4902-9E52-0914165C856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28fa90a523982688ce77dcd738ae3ef55d4ccb6b","datavalue":{"value":{"entity-type":"item","numeric-id":454371,"id":"Q454371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$B32CA4FE-044F-4E1F-836D-C03E568A4846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6d8b6a94cdb09d13b659d7c17bd78e0072322","datavalue":{"value":{"entity-type":"item","numeric-id":3003327,"id":"Q3003327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$40FB8C3A-F63E-4923-A66A-A6A4F21CD81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cbc0d3926879a649ead69195ca220293b2bad0","datavalue":{"value":{"entity-type":"item","numeric-id":2851932,"id":"Q2851932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$F50B2EC3-F137-40CC-8FE8-8FF06BF5C4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2cdfb759dd464477a9b8d4d355ef9f87f05afca","datavalue":{"value":{"entity-type":"item","numeric-id":4636285,"id":"Q4636285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$B279BC7A-3655-414D-828F-6444FF677F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b777a3f8917958f8c419caae804d312c78f8e7","datavalue":{"value":{"entity-type":"item","numeric-id":5255791,"id":"Q5255791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$B55D7B55-FF5C-400C-BE76-F28AE7C96F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c316fa669d48b000ec5f0459a85bb855a2abeff","datavalue":{"value":{"entity-type":"item","numeric-id":3612489,"id":"Q3612489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$49185998-899E-478A-9AD3-844125613ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$B64F9C07-B031-4104-817B-DF1981D2177F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$0F910F69-261F-44C8-B97E-53DB7CD73875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$CD77AB7E-FFA1-45A9-AA28-CDA652DB36A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6354dc5922d58d0941351631a710c38db024ca","datavalue":{"value":{"entity-type":"item","numeric-id":652517,"id":"Q652517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$136C510C-55F0-4E9F-A6CD-7A8CAE74BE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$CC500E5D-681F-421F-B3BA-BAFA1272384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$4E2DA632-A27A-43C3-A48F-D1D933A92FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$8DC91F52-68C7-4C9C-BCA6-16E374D2E180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7b97434170d49cc67587b0be889904b70b2820","datavalue":{"value":{"entity-type":"item","numeric-id":5483000,"id":"Q5483000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$69B1BCFF-6650-4F43-B79F-F4E9C02638E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$C5FEA351-2B07-4478-BD50-54394D0ACDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e89d8d03393c956719e9f366cc5f7a6ed4752f6","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$02057833-94D8-4321-A530-74FC0EB6D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2e18d6608ac7c98216c191f419dce577acfb47","datavalue":{"value":{"entity-type":"item","numeric-id":5300585,"id":"Q5300585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$8EA6A818-4E01-4123-8A03-A45BA8119633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$4A60B7B6-DC9B-45C1-A462-DA4AA3076D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65caf7669c7351926ef7737dc221b9aef57f412c","datavalue":{"value":{"entity-type":"item","numeric-id":4277651,"id":"Q4277651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$6945C268-7993-44F1-8844-2ABCD0D0BF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e0536b29168e39de471af102be2b186faa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1346245,"id":"Q1346245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$49C3E2E3-BB01-487F-8BCB-DB2133405A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323b2b923ecd6bff2f3e3b7245e95962fba319de","datavalue":{"value":{"entity-type":"item","numeric-id":2901195,"id":"Q2901195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$3F63CF2E-A6E3-450D-8720-3AFC53FEECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb8f7f254028003764f92d8809b42ecf2ccd385","datavalue":{"value":{"entity-type":"item","numeric-id":5172141,"id":"Q5172141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$7BB56C00-A443-47D7-A4B2-3A5643D0C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c899b06a0d3ce7d06e76fc452221e90326a71b","datavalue":{"value":{"entity-type":"item","numeric-id":4636295,"id":"Q4636295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$11F8C41C-B52C-44EC-AF56-2C3335504C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$7887667E-73C7-453C-952B-9E5CA113D3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$5DC2E927-9A4B-4EE0-9765-3E701058F6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffd84912139d8217e689626c314944e5a38b834","datavalue":{"value":{"entity-type":"item","numeric-id":3086940,"id":"Q3086940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$83DC8412-67D5-41D4-8C8B-5C6CE386D71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ea78ec7ea0769e1281ef30aafeee2002753eb","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$478632E5-02A2-43F3-B2AF-1E25F1041098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e692d1f3461a21072f869e2fe17a61b37ee2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3655251,"id":"Q3655251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$B0372404-0F29-43D7-8E77-0D69A4A6F8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$90B64EF0-3908-44FD-AD5F-63C0A24BD8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$1910B3EC-4C10-4F51-99DF-0AB4D5FF7B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaf58d7916156684ffc99d43a5fb03aea034fca","datavalue":{"value":{"entity-type":"item","numeric-id":3010370,"id":"Q3010370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$3583F67B-DED7-45B1-A8F2-1EFBC762A7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d39017abd03e5db7f6b8f5174e282acbc48901","datavalue":{"value":{"entity-type":"item","numeric-id":2936238,"id":"Q2936238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$AC078454-0519-4834-9295-0298F91AB9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1018d9d4e5011a73359baaaf383c844679745d0c","datavalue":{"value":{"entity-type":"item","numeric-id":2851947,"id":"Q2851947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$557FD539-1292-43BC-9FF9-A03E6C8EDBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$663D3804-20D2-4206-AEF3-D90AA76380FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$F1F3238E-56C2-402D-AE34-0969C51067B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$1FBAFA59-DED9-49B1-9877-CD5E1ECCC6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d277cb9525ccd43675e08749a3671fbe9993ca","datavalue":{"value":{"entity-type":"item","numeric-id":5311045,"id":"Q5311045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$D2F87A40-6143-40C2-850A-71E6D2DAC243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$CE28D7F7-9397-49D1-95D5-FC67A19FFB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$5885C531-D249-4337-9C19-8785F20C971A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$ADDB4F86-B3CD-496F-8C3D-54442D695F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$6BEBAC4E-49CA-4D2E-9A8E-FB8D6C6414F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$11DE6958-0C0A-440F-BC05-0A766DC4A58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$85A5D6D4-1D0F-4F93-9EA4-B43ACA2EDE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741087$6BEB0AE0-AE87-4778-A518-D390E3E47D44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1f7740ffdbdc449929ff1932a6abbaa99e45752","datavalue":{"value":"10.1016/J.APAL.2014.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741087$9D13BC55-45E1-4ED9-B7B2-0187A9701B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646abf5c5c2787290e6bf9dd5285746db379135b","datavalue":{"value":{"entity-type":"item","numeric-id":2851932,"id":"Q2851932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83090f58f6de17241360a8ed556fe9d2c23b5836","datavalue":{"value":{"amount":"+0.9607255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$D0CE7702-165B-4579-9A16-59A1D5F6824A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6242c0e5aac0fd24ed0e0125daed79db08edc1","datavalue":{"value":{"entity-type":"item","numeric-id":3133191,"id":"Q3133191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8955bfb92ee5a9188acb7f454a8772d76be89e","datavalue":{"value":{"amount":"+0.8695609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$6C011D48-C217-4797-ABC0-0AF987053010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d591499170e7e58e08e897a328bc5d234ad7f1e3","datavalue":{"value":{"entity-type":"item","numeric-id":2339008,"id":"Q2339008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f348f603d2fc13f31f060580ba15f603bc0154","datavalue":{"value":{"amount":"+0.85498023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$3B6A19EE-7855-4575-89C6-C50B028625DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8e6d90fa6a0f290bed41d32d30a6d3dee01de5","datavalue":{"value":{"entity-type":"item","numeric-id":3434694,"id":"Q3434694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd64590759b3bf7cb16cec7ead3220703bfffad","datavalue":{"value":{"amount":"+0.853189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$2D160923-0D4C-48B4-A7FD-2A550066662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349ae1d0971072717c9d6f0249209c832b32e678","datavalue":{"value":{"entity-type":"item","numeric-id":3636868,"id":"Q3636868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f1a0de80f07363cd7c38d045a6e31158ef2299","datavalue":{"value":{"amount":"+0.85197604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$E8C51172-4A89-46E8-BE62-403ECB579536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6578e7683a7b6a4f47c239b939ad0d3f20b4bc","datavalue":{"value":{"entity-type":"item","numeric-id":4532615,"id":"Q4532615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6743877c7e44a200ae273eb3d165755e6097d515","datavalue":{"value":{"amount":"+0.8516346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$0F281110-C646-4672-81FB-7139BB8AE037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e55fa50e3e617f556588bde849d21d84305d8a","datavalue":{"value":{"amount":"+0.8515825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$72CCD782-4111-4F7A-B44B-7E1FE1C6E1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b570b08caf64805665ad5d626e0965e16c643","datavalue":{"value":{"entity-type":"item","numeric-id":4649564,"id":"Q4649564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d4b91eaf067b75ff93383acbe5af9f61928938","datavalue":{"value":{"amount":"+0.847418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$FCDAD807-384B-4FE5-BDE6-A85B49EFAD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651c38ccbb6958d181d6d0c8d3af193004f78b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5465358,"id":"Q5465358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b2e024abdb9d5866a331c5b845d0e7db263d8d","datavalue":{"value":{"amount":"+0.84405303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$AD7FDC81-E007-4F67-95C8-8E809C677F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74db208b7b5cd75b05930fa980cfa9ea7ab19706","datavalue":{"value":{"entity-type":"item","numeric-id":3757894,"id":"Q3757894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e8b19d96f5dfcaecae0e0b2da8ad505c39d4a1","datavalue":{"value":{"amount":"+0.8438991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q741087$3DEA2424-0D29-4820-A589-20954F83F479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The bounded proof property via step algebras and step frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_bounded_proof_property_via_step_algebras_and_step_frames"}}}}}