{"entities":{"Q3129508":{"pageid":3140224,"ns":120,"title":"Item:Q3129508","lastrevid":46734249,"modified":"2025-12-25T12:02:25Z","type":"item","id":"Q3129508","labels":{"en":{"language":"en","value":"Automatic finite unfolding using well-founded measures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004628"}},"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":"Q3129508$022F853B-F225-4C9F-8322-1C321DA95AEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51aecb9375eecb2313702f142edae4bc390393f4","datavalue":{"value":{"text":"Automatic finite unfolding using well-founded measures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3129508$BE7F835B-3309-4054-B44A-FC2E37CDD16E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0317ececbca87b5419cb784011ac096ab8285a04","datavalue":{"value":"0867.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129508$2DFABB1C-FA5C-4F49-A999-979D24707A66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"285c8dcff60a80a9cc9134a79983459be32dd9af","datavalue":{"value":"10.1016/0743-1066(95)00149-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129508$74DCAAE6-4D9F-4557-B0C6-67F39BEAC191","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64342d65a8f601046a51bd27eaee9c65db10c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":809589,"id":"Q809589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129508$DCD9885A-C02B-4134-872D-9A0A64101BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129508$035812EA-1419-4B66-BD7A-C54CBA8E48E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129508$6BA2C939-871C-451F-A776-90EDE58B1B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"876845907317718d8e2d04e1f7e4d5bd9d4ff527","datavalue":{"value":{"time":"+1997-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3129508$5A4CD4DB-D506-4D16-9652-4170E82B494A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a236e94bfb3b402fab90d5605258ac0b7d046823","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/125403","type":"string"},"datatype":"url"},"type":"statement","id":"Q3129508$6EFBFDBF-9896-4B44-87BB-BAD47E857797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129508$2416E2BB-5244-48EA-9272-A07E43ADCB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3380455cacff5123a792f3d3d388d25910d29118","datavalue":{"value":"1004628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129508$3A5F8C0A-79CA-4C6B-B78B-58A592F3886F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1a39241c365908be7d3c75361268cc6a83a6cf","datavalue":{"value":"control unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129508$30282602-3774-4400-93BA-9B946CFE9422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129508$2F7550A4-348C-4455-B09E-B08A205D87A8","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":"Q3129508$B87A77E7-F4DE-427E-9BFA-76308EE2CB8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fd9446424ba7956fa2aed4d3f3fa4c8a7c4dea9","datavalue":{"value":"W2008251703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129508$F2731092-9271-4961-B55F-F239B9499F8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cf5d6ea87d73fd6c4459d4de1803cd94f2e90c","datavalue":{"value":{"entity-type":"item","numeric-id":1314419,"id":"Q1314419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7ee00dfb18b5c143fa55a7aee6f5a64b3843d8","datavalue":{"value":{"amount":"+0.8372079730033875","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":"Q3129508$56818967-05B0-476A-BC47-1DD06C204069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dccc0997d11f04fd435055115add9c71add1a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5688889,"id":"Q5688889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2e8cc884878f503c8f3a01a4478b924cb15cd7","datavalue":{"value":{"amount":"+0.8364286422729492","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":"Q3129508$C7CA6930-1850-430C-BA01-EEDB9D49A695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d5fb3dfe5025f44225a0bc7ef08e72a29f667a","datavalue":{"value":{"entity-type":"item","numeric-id":1205178,"id":"Q1205178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4f614178787206f5ec5282027c71a9ec442705","datavalue":{"value":{"amount":"+0.8241586685180664","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":"Q3129508$716E61A4-539A-41AC-BB34-9D7A97802E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2356cb60a93da36d09fad8029fe38ec390eaf194","datavalue":{"value":{"entity-type":"item","numeric-id":3087806,"id":"Q3087806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b05b1cdbbf2cfaa34685759e4ea2989ef4a672e","datavalue":{"value":{"amount":"+0.7663835287094116","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":"Q3129508$38FF90F8-8985-4B9D-9CF5-CB1B6CEFC7A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3129508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3129508"}}}}}