{"entities":{"Q1399962":{"pageid":1410702,"ns":120,"title":"Item:Q1399962","lastrevid":48143965,"modified":"2026-01-03T18:49:09Z","type":"item","id":"Q1399962","labels":{"en":{"language":"en","value":"On the non-termination of MDG-based abstract state enumeration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1957323"}},"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":"Q1399962$C5A9D0F6-444D-442A-B607-E52BC0CD4E12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3b0fd7723d51f821a34f794992fa7ce6aecc5f2","datavalue":{"value":{"text":"On the non-termination of MDG-based abstract state enumeration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1399962$A8739586-18C5-4591-B786-9F557EE6DA8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8000b75923a408e276e3a753fbda2e43010d3676","datavalue":{"value":"1028.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399962$965E82E4-3B1F-45DD-B30A-FFA48002C6AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"080278a18a28477a6d1f2127d08c741ac9d095e3","datavalue":{"value":"10.1016/S0304-3975(01)00345-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399962$204F9260-DD17-42D7-B798-B12853AD3D10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$5EF016E5-4B33-4562-BCDE-69AB77332472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c5603b3e9173c96140540d9194b9553b50525e","datavalue":{"value":{"entity-type":"item","numeric-id":1391938,"id":"Q1391938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$E4C84042-4558-480C-B71F-7D66A3168228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa16960c825fc0f9450ac8c3e3d6da9e3dcea04","datavalue":{"value":{"entity-type":"item","numeric-id":362270,"id":"Q362270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$6EB73F7D-3D5A-4E4E-9E67-92D828D4982A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$3A05CFDE-FBCD-428F-8568-35B0B39EEB3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1399962$EC4FAA98-D9E6-4A8F-A0D5-857537AF5573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399962$30E380F2-8084-4E71-AE16-621DCB89C286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a2dd481b431e3de85db0d7ca04687864aed4bf0","datavalue":{"value":"1957323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399962$FD30AF00-EEFE-4A94-A5AE-E7BEB9EB3E17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975da6bac6b8f29e5f9a00e86af4308cfc3ab835","datavalue":{"value":"Multiway decision graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399962$A8007E93-756E-4480-8225-0DE086555481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399962$73385322-EEA6-426B-AF12-F933F6F8BD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea2c299b8b823ca409f72dd9d76e0cab170257c","datavalue":{"value":"recurrent domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399962$411BF4AF-35DC-4219-ADF1-4B4AC578DB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0964508a10f0ed5c88dd48e64f57bc7083343c3","datavalue":{"value":"\\(\\rho\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399962$CC10D670-BEB5-46E7-B6D2-2E7264F1A3ED","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":"Q1399962$F2723469-9EBD-4305-AF90-1C016B308248","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$656DF201-A7D6-4FF6-87FF-4A3C5758E6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439a7dc96b7d8fb83460ae3e7086f39ebddbd11f","datavalue":{"value":{"entity-type":"item","numeric-id":1900314,"id":"Q1900314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$DA2260C8-300D-42EC-A207-32650BC2D0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0bdefcdce10def11aea2e770e9d8a161d0bbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5881270,"id":"Q5881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$8F56271F-F4E7-4C06-B6FF-0FD043078EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc0e5cd425fa0d774c4cba06f76e512e4573cf9","datavalue":{"value":{"entity-type":"item","numeric-id":4037133,"id":"Q4037133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$45C7C8E6-A0CB-4979-AFEC-C364A9971D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cc354652a5c3e0f35619aee2911a3312d058ec","datavalue":{"value":{"entity-type":"item","numeric-id":5204334,"id":"Q5204334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$913889F2-BFEB-480B-85E0-69E1BFDB80A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28e9cd35b47487d1554d6020ce3b8a9345efb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4012209,"id":"Q4012209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$117D2D69-30A1-42C3-BEA8-1F20B34AA3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abef18369875e161563b7c54c5f657de2470ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":4246728,"id":"Q4246728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$657F38E8-103D-4BAA-B6D0-0B8FF5C8C44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91c181eb5346fb8d5d6c8d626d661095ac857b8","datavalue":{"value":{"entity-type":"item","numeric-id":1262755,"id":"Q1262755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$073BB797-A919-42C8-BE1E-9B61C5E98045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae5a0e07f857630b48e716424486e3da331a25d","datavalue":{"value":{"entity-type":"item","numeric-id":4255518,"id":"Q4255518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399962$5B3A355A-91AC-428A-BC32-78095649BCCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b878a2d550cfa33508e3c91316536638a97730f3","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00345-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1399962$EB7C2246-635C-407A-8862-5964EA25AC3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be624a55ad68b6d4fbe3852fa6302d1b4124c153","datavalue":{"value":"W1977833242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399962$3020C030-AC36-43B4-958F-ED9BB433230E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d33f10f41055655ebe3e98c5f52d7db182ea45","datavalue":{"value":{"entity-type":"item","numeric-id":4255568,"id":"Q4255568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48098db184de150c286e4199ee0ce850ad39aee9","datavalue":{"value":{"amount":"+0.8091153502464294","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":"Q1399962$0D723CEA-0E8A-490C-825A-CD4259B0D813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3753a56dfaa1a2a7e3d775c6be9a3e73b5a68859","datavalue":{"value":{"entity-type":"item","numeric-id":5505605,"id":"Q5505605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe1f83369a16868bf6cde50821967756be71242","datavalue":{"value":{"amount":"+0.739237368106842","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":"Q1399962$BC307615-01B7-481A-96CF-684C06B6F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375f83a89eed0cecef71464c9862a19289e3b8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2434522,"id":"Q2434522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a81c6542ccb4a5de0ea02f7c37ad0b114c7a4d","datavalue":{"value":{"amount":"+0.7288769483566284","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":"Q1399962$8131F23C-7367-48D1-A08F-35BCB73CBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d58bd5c818eb6a1d8ddd7ad8d7d73defe0b36f6","datavalue":{"value":{"entity-type":"item","numeric-id":1818312,"id":"Q1818312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2264fdd1aa4cc82ef0c69ab22faafb310ebb9d","datavalue":{"value":{"amount":"+0.6858108043670654","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":"Q1399962$C20A12F0-F602-4C19-8CBF-0769370E7DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf674b5c14dbdaa16c0484974c7097978c7df1a","datavalue":{"value":{"entity-type":"item","numeric-id":4982624,"id":"Q4982624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd49fa12ee7c6d233cda281258b29f828aa28ca6","datavalue":{"value":{"amount":"+0.6758844256401062","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":"Q1399962$02511053-7929-4969-A89D-F755069E9836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1399962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1399962"}}}}}