{"entities":{"Q6044119":{"pageid":13178275,"ns":120,"title":"Item:Q6044119","lastrevid":47851510,"modified":"2026-01-02T21:22:10Z","type":"item","id":"Q6044119","labels":{"en":{"language":"en","value":"Proving safety properties of infinite state systems by compilation into Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686623"}},"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":"Q6044119$D8BC60CF-70C2-4929-86E7-A11CC82A826D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c312a14746e655abc02968c0adf576f493748f98","datavalue":{"value":{"text":"Proving safety properties of infinite state systems by compilation into Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044119$2437413E-54FB-47ED-9D38-0543EB119802","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a464f98078276e5fb3ee9dacc813800ee3f7c0f3","datavalue":{"value":"1512.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044119$1C3CF559-A67A-4F5D-9284-7C082E488114","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb1e29aa00a883b27eaafc53e49e77a0b807428c","datavalue":{"value":"10.1007/3-540-63141-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044119$2188AA9F-5983-43A8-A480-4D571CCC4436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$24094A56-000A-4031-9EA8-5D18DAABD530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a1abbe90d2b233ebe0968f1db7d9c47ea190aff","datavalue":{"value":{"entity-type":"item","numeric-id":1378381,"id":"Q1378381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$21A87AB2-D56C-48A2-A5A1-70F77916CFCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$283910D5-FD8C-4972-B6D1-B8DEA827684D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6044119$6AC2ACA2-1C47-4643-9165-60E25ACB6F97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044119$D486C4DA-06A7-4188-A5EE-DA1040774B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044119$9A49448C-88F3-432E-B4A7-88CB9890DF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044119$FD950762-363B-4786-933E-B7DE0F5356C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc8f5f3a457ec097574b26c392f1f6554739141","datavalue":{"value":"7686623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044119$6EA00FEB-A18C-45D5-B67C-4080545B8687","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":"Q6044119$7593EBD4-D778-4853-A1EA-7F1CDB2553E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1585abe38b30ffcb2ab1ee21cf12748dd806d44c","datavalue":{"value":{"entity-type":"item","numeric-id":3773358,"id":"Q3773358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$C4E7C7C7-022F-4D90-A2E0-0B89410C1288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51787ebb8f2f656495faac1b54743656ef36ab4","datavalue":{"value":{"entity-type":"item","numeric-id":5878899,"id":"Q5878899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$C510464E-2EAC-4AFC-9387-2EF840E67279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd94b4ccc07d511eb179d0f645cb94d57d478e8","datavalue":{"value":{"entity-type":"item","numeric-id":4746791,"id":"Q4746791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$9D92DFC8-7A42-4AB6-AE4E-5F22D4CB7EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ff7c3d32275831391fabe844bf12ae739942b8","datavalue":{"value":{"entity-type":"item","numeric-id":4362279,"id":"Q4362279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$627B8CDD-F727-4D09-AE3E-52649A9A970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$082A717B-EFFF-4FB4-AA4E-131AABD65765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a2b870e64d7ef5c8904d3a2ca394093767d88a","datavalue":{"value":{"entity-type":"item","numeric-id":4633164,"id":"Q4633164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$1DBDCC2A-9C95-4480-ACA3-9566762FBCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$BA2BFC06-28FF-4BAA-A0E0-61444D4F554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b207eef3f026b868aaeaf1724ce29a5324e1088","datavalue":{"value":{"entity-type":"item","numeric-id":1917074,"id":"Q1917074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044119$EB9697B3-32C7-45FE-94FF-6E8481C680D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b5388f864d49ea04f7dae1d90f3743c4f22fa2","datavalue":{"value":{"entity-type":"item","numeric-id":2117165,"id":"Q2117165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acea17bcbbac0b4f1a14741aa1768dcb7f64815b","datavalue":{"value":{"amount":"+0.762864887714386","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":"Q6044119$35CEEBEA-3F9C-482A-9263-065323FCDD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bfabe9d315de65e50501024824dd8b3b9cbd62","datavalue":{"value":{"entity-type":"item","numeric-id":5166672,"id":"Q5166672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d781b913bf936dcaee5bd59522e96863d94ecfc","datavalue":{"value":{"amount":"+0.7616490125656128","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":"Q6044119$841AD773-48CF-4636-ADD6-44244DCC7304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90e5e088879ed480e77236ddab5b457056300","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19255e6c9bdb69bd0ff05cab94db15085e5495e6","datavalue":{"value":{"amount":"+0.7593209743499756","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":"Q6044119$4C3FE892-2337-4572-8F86-B91D3E0FD805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e489fb615134e9ce941bec2e6145d30ba24c79c","datavalue":{"value":{"entity-type":"item","numeric-id":2937547,"id":"Q2937547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c033e14751cdc83205ad8e98b8ca60d8e47ed98a","datavalue":{"value":{"amount":"+0.7534727454185486","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":"Q6044119$9C8CDB23-E29B-4156-84E9-A2A22C9C1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97434220c731f87d7ae92c4fa46509ec4e361296","datavalue":{"value":{"entity-type":"item","numeric-id":5941104,"id":"Q5941104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab55a55fb340de1978d1bde7b9039bf59380fca","datavalue":{"value":{"amount":"+0.7425065040588379","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":"Q6044119$452F5D9E-1C60-41BC-835F-AF075A73EA77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044119"}}}}}