{"entities":{"Q5200044":{"pageid":7229615,"ns":120,"title":"Item:Q5200044","lastrevid":51306884,"modified":"2026-01-17T16:53:13Z","type":"item","id":"Q5200044","labels":{"en":{"language":"en","value":"AC completion with termination tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934372"}},"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":"Q5200044$D53A01D2-3341-4235-BBA1-8088D8C167B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc596e06a09b7deb3f507de4c91b23647cb711a","datavalue":{"value":{"text":"AC Completion with Termination Tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200044$CC8D187A-76CF-410A-9B22-D0EC8D994370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe4efea06c708711e3d83d11beeeeacfb5bbc781","datavalue":{"value":"1341.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200044$16056D9B-6120-4C48-A6C3-0494306FAB25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"557c0ddb6e8adb4c2c4624aa2a202b3c8e5ac61f","datavalue":{"value":"10.1007/978-3-642-22438-6_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200044$DC6B04FD-9443-47A9-970A-0A9C91E00357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$8A20815A-2EE8-4A5C-B179-9A6CB114AE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$BE2E308A-5EDD-48B9-90D3-B50D5132EEE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$5DDC8E18-586F-4AAE-AE9F-0C1DD3B91CE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200044$AB497A5F-500C-4377-972E-76656F53A876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200044$CB3D2C0E-F6D2-4D96-8B4E-9424CEA6CFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200044$62F188DD-2537-4FA0-9FCE-C2CBBE423DDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8e13c0b704138d7e77bfb21128f2ae713e30622","datavalue":{"value":"5934372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200044$8DD784E1-673B-49C3-9CCD-F622E26F905A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$A641E019-037C-408B-9FBF-D9D11221F0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$AF743241-A66F-49F4-864E-1A4DC2B48131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$3C9F33D1-3C69-4808-85BC-969B5F63951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"494b99103b726cb47c99c8135159c2c7da286a71","datavalue":{"value":{"entity-type":"item","numeric-id":21993,"id":"Q21993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$85D09AD1-15BB-46CE-868D-90B407FCF03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c5e63746f1155fa9146a08988f7e26222436fba","datavalue":{"value":{"entity-type":"item","numeric-id":21994,"id":"Q21994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$F40931D3-CA03-466E-B923-AFB418D7C9BD","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":"Q5200044$F8ED7ECE-CCAE-4D73-B510-F2FF79B39900","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"729cdffde961727a9371a5c2a361f4a059a59035","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200044$4AAF07EC-9C48-42AA-9802-ADCE9AA273DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03c6bc26adebe6c223d7f308e15e76def7ef3029","datavalue":{"value":"W65907803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200044$91472D0C-A48E-47F5-BCCF-2E49B8F80F0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12258990216ff4021b244dae9f1b968a1473efa1","datavalue":{"value":{"entity-type":"item","numeric-id":3067476,"id":"Q3067476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$4F6179CF-AF3E-45EA-96D1-0F5AC8FBBB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28df93d2f1ffc0e63be30b9121b171d24a4878e3","datavalue":{"value":{"entity-type":"item","numeric-id":4933277,"id":"Q4933277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$7EE458AB-3249-4660-A6FB-49559F2FD602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$047CE905-1626-4871-B652-43D0481B6D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$6C54DE36-CB84-4004-9057-E40CBD8059B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfefaf545f8420285613dd73f63e7d1e8ffb778","datavalue":{"value":{"entity-type":"item","numeric-id":1099654,"id":"Q1099654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$25175213-A5B3-42E9-976C-671B63AB23A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6816a809c0eafdc95cf8e2d66409da79e457ce5","datavalue":{"value":{"entity-type":"item","numeric-id":2778873,"id":"Q2778873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$CB9D900F-5C69-4D5D-8910-BD52681BD66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$8666FF2E-57AB-4CE4-BC5B-3132680D8C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882011c7f05503b5d7186538c3e4fe9143594802","datavalue":{"value":{"entity-type":"item","numeric-id":1808564,"id":"Q1808564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$14604AFB-2ED5-427D-80AD-784359C9BF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c1fe6af1ad9dd1496ee735838fc8664bb26ea","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$BD6C9900-8080-48E0-9D59-FC91005AA75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cac010ec605c9119807506ab1b2e806f41cbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$C6424B17-A985-4524-A583-89AF9F4B6A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$1B74C270-0C1B-4557-B616-449F336C9EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befdadb9152073aebc8beca946e5638f2e3c3387","datavalue":{"value":{"entity-type":"item","numeric-id":3541711,"id":"Q3541711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$56D0534C-926A-4F68-BA63-86BDDB391160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60759639915f213cf6f47415adfbdbc33f70fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3527302,"id":"Q3527302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$DFF0971D-FB5C-451D-98A7-DB7C241909D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2553a58aa036d5e37235f7bc389f564cfdf0ce61","datavalue":{"value":{"entity-type":"item","numeric-id":5389156,"id":"Q5389156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200044$B2F7967E-24E6-44F5-9991-4236D9133F38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712dd645d08f09dfb4ce28f0ccb4aa64d6de9e00","datavalue":{"value":{"entity-type":"item","numeric-id":352956,"id":"Q352956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd4d1a6a7965e524f3d46bc5f8b95ac11028c1a","datavalue":{"value":{"amount":"+0.7739104628562927","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":"Q5200044$678C40F0-C762-4DFA-904C-EF6990E4A7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e328bc35de9b6329b7e24c6f9873aae4794dba","datavalue":{"value":{"entity-type":"item","numeric-id":3541711,"id":"Q3541711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c6cae558d912bfcbe4b2954ad3931e81b51e2f","datavalue":{"value":{"amount":"+0.7731963992118835","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":"Q5200044$02EB0D64-C0E3-4C59-B817-523B1EC51D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd92e0fc7174e4ffaf184a88aa12a99beee1a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d286fe5c0066cfe64deb8ca88548b976d09507","datavalue":{"value":{"amount":"+0.7611495852470398","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":"Q5200044$1DA8D43C-D9BF-410F-B4A8-AE768170B5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef5c11748a4ea5ab225f871e0cac7d2a29efce8","datavalue":{"value":{"entity-type":"item","numeric-id":4593023,"id":"Q4593023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7903715abb9c58c6c8cd34315d9226c4546123cd","datavalue":{"value":{"amount":"+0.7607423663139343","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":"Q5200044$FDF5FE4B-23DD-4621-8B93-384E170C4752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40c1b03cc2020fa8fdf4b63687fafd311eadecf","datavalue":{"value":{"entity-type":"item","numeric-id":5055778,"id":"Q5055778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c33a974a458ca8ed6d19a31955a1fc8f58efc61","datavalue":{"value":{"amount":"+0.7603887915611267","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":"Q5200044$4A95E5A9-98D4-4479-8487-1F8E28B8F088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200044"}}}}}