{"entities":{"Q2827839":{"pageid":2838577,"ns":120,"title":"Item:Q2827839","lastrevid":55966099,"modified":"2026-02-21T14:23:01Z","type":"item","id":"Q2827839","labels":{"en":{"language":"en","value":"Proving reachability-logic formulas incrementally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642147"}},"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":"Q2827839$0BC4A757-94CF-4E48-B768-4B5B4047619A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0601d11245d967b5fe8e3661c81613ab574a0c6","datavalue":{"value":{"text":"Proving Reachability-Logic Formulas Incrementally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827839$9CCF614D-3D58-41D9-91C4-0DC6B6E221EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c670458785c61048798aaea1dea324c970c5c1fa","datavalue":{"value":"1367.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827839$54F606E5-84AC-43E0-87C1-91411D95A6F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33b58d0d824e02f026730eeba339f3d3eccaedd9","datavalue":{"value":"10.1007/978-3-319-44802-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827839$E345BC30-C543-40AA-90AC-EC52AB73E0DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$9769D851-8651-453A-9C65-47665DD82579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5933ce3e049f97ccca1c72bcb583cae3495db8e","datavalue":{"value":{"entity-type":"item","numeric-id":507360,"id":"Q507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$290B5246-BC64-40D0-9D05-118B83E271F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$CA8BAF0F-80A1-4485-9617-69DA5CA8F092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cfd9a39413360519196116a588605fc66450df0","datavalue":{"value":{"time":"+2016-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827839$AD1712EF-F8AE-4405-87A9-8FC0988367FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd66a1d1910fb0cbdfed0ca70749c9f9e30768bf","datavalue":{"value":"https://hal.inria.fr/hal-01282379/file/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827839$4F336EBB-C51E-4B9E-8F9A-9949F7842099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827839$47F31E5E-E15C-4C85-BD7B-13931E18668D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827839$8AA05393-3939-4006-8EC2-AC29BB360A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827839$ABEF3C5E-6416-4C23-863F-8DCE7EB1C11A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d2194b3401429b39a80abbfa613fc4d337b0d9","datavalue":{"value":"6642147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827839$BF268240-054A-4A52-B047-B66058AC1487","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$71C32CC0-8917-495C-A6C5-4452678A8864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$F95FF5F0-0420-446C-BBE8-2A49A978D2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$E8B9625B-30D7-4AE6-992D-18A21BC5E289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$5DC53EB4-D107-430B-9872-EB298900F29C","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":"Q2827839$37725158-ECC2-4505-A0DC-3C56B9A6AD5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3ac95a4bc66aa48967764be98619a529cf6e77b","datavalue":{"value":"W2290990225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827839$8AA554CB-2F55-4624-B99B-2925F917B81E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1ac20aef2f2fa3a1493f669811757d690a0798","datavalue":{"value":{"entity-type":"item","numeric-id":3167025,"id":"Q3167025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$8D3A3021-4F98-41FB-8BDB-8771AFEB5B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$CE083CDF-AF17-4CD2-BFEC-DF8E1D16F60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80f8dd118b5b17b20a55804069560896538ee46","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$21E6DE20-D112-4DDF-B1FE-F736C9323686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$32909E6C-A68B-47DA-ADB7-92680E67BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605288590e1847fbecf82b7f3abf4591e1cd9d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3067473,"id":"Q3067473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$6F1AFAEA-7118-4C11-807D-DA36ED093CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5876fc1d7fbfdcf6dfc958df987ef04ace1022","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$FB3042E8-6C7D-4C55-BBB3-49725FAFAACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$79DA02EE-3F9B-4BE3-A477-5EBF1B73C7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827839$635ADD77-56D3-4FDE-B340-5F65CC94D215","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e6439c9ecc37247f435ac5bca7e4bb5111310f","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920bb1bd5131abdf1b39f53227857b206a430dde","datavalue":{"value":{"amount":"+0.8268845081329346","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":"Q2827839$D1B1C891-F55D-46CF-B191-2B0BB4E80CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26436a96f7d2cf431beb31dc392294cc47579b0","datavalue":{"value":{"entity-type":"item","numeric-id":5134281,"id":"Q5134281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c026e84cbeeed1762a34953f6b466ea58ccd56e","datavalue":{"value":{"amount":"+0.774017333984375","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":"Q2827839$4FDB82C9-3137-441F-ABFA-6567E4AB1277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a916efda829c8aa6fa89f9bae8275354308375b7","datavalue":{"value":{"entity-type":"item","numeric-id":4487265,"id":"Q4487265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573e65cb4cac78ce620f46c7824ec5a8fae567d1","datavalue":{"value":{"amount":"+0.7686503529548645","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":"Q2827839$6DF62240-24BE-4D21-9D6A-A0A08D6A3230","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827839"}}}}}