{"entities":{"Q649588":{"pageid":651437,"ns":120,"title":"Item:Q649588","lastrevid":63308271,"modified":"2026-04-11T11:59:52Z","type":"item","id":"Q649588","labels":{"en":{"language":"en","value":"Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5985531"}},"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":"Q649588$7C8C0121-7B83-4353-B9CB-9628DE402B39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f29f21cdc09bc55a178bf3e231088d31a6490705","datavalue":{"value":{"text":"Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q649588$7AF187E9-6652-42F2-AB72-B6AC3EB68C92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c111e826b090d75faeb56d5e2d929351be11cc7","datavalue":{"value":"1231.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649588$4CD67116-A232-4F19-B678-124152463D3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e2e1feaae3f58d6f42b332871845e2e716f13a","datavalue":{"value":{"entity-type":"item","numeric-id":624384,"id":"Q624384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$DAA2BF76-D94D-4F12-A7D7-D5D304F9C9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a00842c97861ca85101f8ddc599167c70223ce4","datavalue":{"value":{"entity-type":"item","numeric-id":347399,"id":"Q347399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$8EC5D6FF-84DD-4510-BD91-9D7B809DB510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c0ee6b72edce509c0c1a4be7352af4e8167c22","datavalue":{"value":{"entity-type":"item","numeric-id":624385,"id":"Q624385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$2F884B28-91BC-4CA0-9886-28149E0E45AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$2F8A725A-7C27-4D92-82DC-2C9CE3A7ED49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bde3f29c583f771125c439f8e23fad3b2150c7f","datavalue":{"value":{"time":"+2011-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q649588$861AD3F3-11BD-4930-A32F-5DDCC823BFAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"963fb8698ecccacacaf9d71fe2d67aa783ca5bf4","datavalue":{"value":"https://arxiv.org/abs/1705.09615","type":"string"},"datatype":"url"},"type":"statement","id":"Q649588$E94F3D7F-105F-4866-A2F2-36E943E8C65F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649588$6FEE4F17-FC1D-4D28-9DF7-BC8E4090EF60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c812f4dee36f739dc76aab5ed400e7511cceadb2","datavalue":{"value":"5985531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649588$EB767D76-8F3E-4D1B-9813-4BB3FA52B4FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78726f3be8de287d11d10f14f802ec30fc31cec","datavalue":{"value":"program schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q649588$99D0DC10-2215-4D01-8599-156AAD5D033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3de0dd89f56b8ace0fb99d7cdf3bf4a4961c3666","datavalue":{"value":"Herbrand domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q649588$0ABB8E2E-1183-4ADA-89B4-114715D9B720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q649588$03A7690C-6A36-44A3-9AA6-88E55295AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d919ff79ff815156a9458f88ec45a47770a2e52","datavalue":{"value":"Weiser's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q649588$A7D60465-2CD7-4E54-913C-57DB15800B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fb6b1ffe3cc9919b0df09a5fabb2ca1dd88599","datavalue":{"value":"free and liberal schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q649588$47206BEE-1935-488D-95DA-2638650DC9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cdb0271c877f3c2dcded2824006b6cc5f8ebecb","datavalue":{"value":"linear schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q649588$F5B0C216-DD36-413B-A6CC-21F38574CA6F","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":"Q649588$7B3B745C-44C8-45CA-95D1-BC60BC73AD84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a4b388a0df8ca973f9350b2b0f00a39d4c45f92","datavalue":{"value":"W2138160985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649588$0F019CE6-61BE-49BA-8753-9E34C0D94BA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1151627bcf9e4470f43c1deca150ffe7c66a7162","datavalue":{"value":{"entity-type":"item","numeric-id":3214370,"id":"Q3214370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$24AB64A0-055C-4891-81B9-E094CCE70EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152c387062075c312dda0880809f710ef4a7ad5e","datavalue":{"value":{"entity-type":"item","numeric-id":624386,"id":"Q624386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$8A640A39-E74A-4CFD-B524-28701A0C009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$C9D03551-1092-483C-B234-9D3009E58124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd5be0fecce7c6688670776065e5263cab975f7","datavalue":{"value":{"entity-type":"item","numeric-id":3893301,"id":"Q3893301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$4D556649-44D8-4502-A428-D915503ECF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7b60c77c0b5f89a27eaf0a201ebe8770436186","datavalue":{"value":{"entity-type":"item","numeric-id":5517672,"id":"Q5517672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$14448830-619C-4ED7-A5AB-C1C23071D861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b711001eebf2c13570b526279a030c22828d670","datavalue":{"value":{"entity-type":"item","numeric-id":997992,"id":"Q997992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$CECE2A5B-BAF3-460E-A280-643819A846C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51aad2460247506927bc6270e57ca3ae85e63764","datavalue":{"value":{"entity-type":"item","numeric-id":1853616,"id":"Q1853616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$AA3A4AD2-3F5B-491E-B16D-E0C3A8BFD2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6464cae6ab37dc5a57672fa54484e831c77439b4","datavalue":{"value":{"entity-type":"item","numeric-id":875512,"id":"Q875512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$02906640-D1CA-4A70-BC4A-24FC1F7113AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$96D957F4-4FAF-4480-96A4-CE661543AF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda427bf3691d6d17e30eb998c33bad84c6e4597","datavalue":{"value":{"entity-type":"item","numeric-id":5732102,"id":"Q5732102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$1EF419DC-1E38-46BE-9C95-D76B5DFD0539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d81b3779271358fea4fdbe3911005cfad6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":912596,"id":"Q912596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$8D4E07FF-7EF6-4427-853B-850DD0C23993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aab6a0ee06edfb4c534ca939d1b7d7e087d9627","datavalue":{"value":{"entity-type":"item","numeric-id":4296075,"id":"Q4296075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649588$9C6FE908-A24D-414C-B87C-E9BA8424E0AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45150769f599a1448334c62b23877177d0d59821","datavalue":{"value":"10.1016/J.JLAP.2011.04.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649588$1187303D-16A7-4086-B717-EE51B95054E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c9a1cf8d3489c8511603705c685c8f3705a18a","datavalue":{"value":{"entity-type":"item","numeric-id":997992,"id":"Q997992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68da4592a0ac99234d117ec4c28cf6730bff6eb0","datavalue":{"value":{"amount":"+0.967310667037964","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":"Q649588$ADDF2FA9-8038-46F8-BB1B-7D37FA67D2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e744bdb29387d6d21e3558c30512ef300804a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":3103616,"id":"Q3103616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035091c2d515a3e3859b2ed7b48b165261ea48a9","datavalue":{"value":{"amount":"+0.8214796185493469","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":"Q649588$F3F59879-43D0-4DC9-A861-42DE98114F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab42ef86a79c99f7fda7008d2b5024f611a6fb65","datavalue":{"value":{"entity-type":"item","numeric-id":624386,"id":"Q624386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b408fa4326a81407c1b2dac3ccdb27c68d2890","datavalue":{"value":{"amount":"+0.8207943439483643","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":"Q649588$B0E5CC85-3DC2-4450-AD34-272BDF8F0449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2284c05c71538eb3d1562a85cd41100c59dd3fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee9670a547395ddd6310c6b9244bd81601a8207","datavalue":{"value":{"amount":"+0.7631396651268005","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":"Q649588$1AEF9521-4943-441D-B46F-92FF83C6FCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c63f38057c468b16be3e2e5fc5232ef36e0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":960858,"id":"Q960858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d0025e44f2f19231e5698a2e499295bd188334","datavalue":{"value":{"amount":"+0.7501918077468872","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":"Q649588$B9E46621-7819-4010-A4DF-77CF907654EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_minimal_semantics-preserving_slices_of_predicate-linear,_free,_liberal_program_schemas"}}}}}