{"entities":{"Q5458332":{"pageid":7487891,"ns":120,"title":"Item:Q5458332","lastrevid":50333816,"modified":"2026-01-13T20:27:12Z","type":"item","id":"Q5458332","labels":{"en":{"language":"en","value":"On Local Reasoning in Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262374"}},"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":"Q5458332$C7CE729D-E9B2-441A-8206-9DB1E4B0BC92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ffb85ca941d81013c13c1311f13782be3ea8b2e","datavalue":{"value":{"text":"On Local Reasoning in Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458332$EA945AEE-1E37-4506-9389-5F5149D4A700","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8831eb260284021e31a06d27ce39bc9bd9b456aa","datavalue":{"value":"1134.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458332$3D672F2F-6CAF-46FF-BD9F-CE1ABC48C742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c4d059f3a9f6f27bcbf3adde617cff078ade766","datavalue":{"value":"10.1007/978-3-540-78800-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458332$5CE56527-7B3C-474D-9950-2D9ADEDB5941","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ae57a93bf70a9983b828e2db53ab609a97231e","datavalue":{"value":{"entity-type":"item","numeric-id":1949770,"id":"Q1949770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$636655F9-CA5A-49F5-9352-0DDE1C67685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$910D729E-23F9-4BA7-A612-4E1A59CAD1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$326B3117-B57A-44FF-9D7D-80BF38AC3F67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$C9307DD8-CD0A-4387-908F-42A30A1919D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458332$2BAF72D3-FE49-4B8A-8615-F23135F6CBF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458332$A5032E02-1B3F-4731-98F6-66F1AB977CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf96f80c1115de106423493207c08349fddabec1","datavalue":{"value":"5262374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458332$441499C0-870A-4F9A-AAA0-26F85277F42B","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":"Q5458332$5BCA2BDB-7296-404B-B233-A78ECD749BBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed56b8531ca60cb33581abbe5d88a5ec1580f429","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458332$E9C88BE7-1005-49CA-ADD7-041746F3F85F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"815274ed475d7a55c5acd5564a4a2cd2329dbc2c","datavalue":{"value":"W1573267491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458332$D15D390C-ED30-4F64-9116-D734B5812D30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$CBAAE619-99C8-4F44-A6CE-57570EB64EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$0A8F72CA-B8AD-471E-BDD7-2C7B12C68250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669daea431836fc2130f88ef3ca3b5dd23f748d5","datavalue":{"value":{"entity-type":"item","numeric-id":4835521,"id":"Q4835521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$A599C302-3485-4377-BCDD-943076A219CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65e2a392507335149429c896dcea59bd699329","datavalue":{"value":{"entity-type":"item","numeric-id":3608886,"id":"Q3608886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$A4B69EE4-5864-47CC-820B-07BEB3CA3665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$EDD44295-81DF-4DC5-A574-929F22B2F7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b302ba9a7d1a6b0b7e3f686e6a4da7336866d5d","datavalue":{"value":{"entity-type":"item","numeric-id":3533130,"id":"Q3533130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$FFFDD377-66E9-4DDC-89A0-E900C5F996BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a791bafa87b64c7841ed72d1adb7056b01fc9","datavalue":{"value":{"entity-type":"item","numeric-id":5738964,"id":"Q5738964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$2E267D00-7A42-4C46-AD8A-9C69B76943AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8571cfb6c41c9203dbca31502594520874a2ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2864523,"id":"Q2864523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$6CD62B48-22E2-44BE-B3AF-57E3C53CDFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$97A0D5B8-E0A2-459F-BE56-3F6B24E7F073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$003E0654-B000-4216-A6C6-75FE64AE3195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$85D0A536-AA7F-4E0B-954F-DA27E7EF65AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6de67ef4615ff33e4344c32b01aa7b8276c52","datavalue":{"value":{"entity-type":"item","numeric-id":3613412,"id":"Q3613412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$CEE0D4FF-457E-4809-A145-87FF17ECE52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fdccfd997b65b96d83b1e6d89c21922b048741","datavalue":{"value":{"entity-type":"item","numeric-id":3525000,"id":"Q3525000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$6E220061-4618-4B25-8D13-7B28516DD060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405880c070588ef96205dbcc63ba1fa577e219e","datavalue":{"value":{"entity-type":"item","numeric-id":5446292,"id":"Q5446292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$0F6C7FC1-0FEE-404D-AE15-31AD87EFABED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaaccfbedb3cd88fc80e0faeb16f71f2c3e7630","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458332$D08DCE64-D39C-43FC-A80A-62092836A079","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6dc544480134f01527a59c0c6fcab5628603f0","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabba8649707b1c9fab1052d38707389cd3016b7","datavalue":{"value":{"amount":"+0.7823498249053955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458332$2A20B813-0A89-480A-95DB-2D7143A2CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cc4e09a666aa42ff8da2a3e874e1c6495b615","datavalue":{"value":{"entity-type":"item","numeric-id":5747759,"id":"Q5747759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d771d55595f99202be6561e394de8aca1aaabf","datavalue":{"value":{"amount":"+0.7788494229316711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458332$9375998F-9AB3-4D65-A65C-787163AACC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54920a1fc316ac7881f28032a08130c26cb40c0","datavalue":{"value":{"entity-type":"item","numeric-id":3525000,"id":"Q3525000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce174beed89025899ca98e2744ddc702f8b9e6da","datavalue":{"value":{"amount":"+0.754811704158783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458332$5E0FFD61-66B6-48A7-AD95-13D4A84F5CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06232e5325ee7c1a7e2d33cf9ea15f3557bd5279","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c802e8e90f6b86ed07d384f95fd32bb34ed212e","datavalue":{"value":{"amount":"+0.7378162145614624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458332$4ACD7754-BE9C-482B-A684-B82156F83BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2843260133561894537ea85c8f36abd252a38008","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11f8c2788b4d949a1d39de35eb32f9a08394e5d","datavalue":{"value":{"amount":"+0.735744059085846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458332$4CF686E7-79CB-4947-974E-4AFB248C6536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458332"}}}}}