{"entities":{"Q997992":{"pageid":999840,"ns":120,"title":"Item:Q997992","lastrevid":65890440,"modified":"2026-04-12T06:04:29Z","type":"item","id":"Q997992","labels":{"en":{"language":"en","value":"Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178537"}},"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":"Q997992$CBF29DA8-002B-4A7B-A390-0F38B047F4B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f45e9203a84c8eb0078bf68ae08e9752c7964f34","datavalue":{"value":{"text":"Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997992$5E2F7162-DE96-4188-AD1D-C97DD3FD5B13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cc356af910406ea9a87a6942ea4a5abb3e73465","datavalue":{"value":"1119.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997992$B8BEE64B-C8A0-42C2-932C-B1FFABA82B73","rank":"normal"}],"P16":[{"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":"Q997992$AE04C6DB-C93C-47DC-BDAC-C9F90E60FCAA","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":"Q997992$BE695520-C6C5-45D5-8D9D-B41B0D9BB095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afb98c4ec1048abba6e7f701413ea5fbc62888f9","datavalue":{"value":{"time":"+2007-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997992$E3696C8D-29F5-404E-9B0C-D5FFEE73254C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5a24c0a56731fc6d98326e0a4fec194b0e88b95","datavalue":{"value":"https://research.gold.ac.uk/10583/1/COM-LaurenceM-2007.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q997992$10B72F19-8B56-4ED9-91F3-5EDCF4255668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997992$70F9FD60-DE2D-49A7-B08F-C437442018D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997992$46433E10-709A-4C3E-B098-1C5D70D1E35E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9f38c8d52844888a24ee3e1480e8398d26854db","datavalue":{"value":"5178537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997992$5BE297B9-ADDA-4085-82F0-4E7C3ADBFE22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78726f3be8de287d11d10f14f802ec30fc31cec","datavalue":{"value":"program schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q997992$BE946269-D728-42C4-8265-35AE4FE4690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q997992$322DAB62-7AF9-4C1C-B41F-44273A143E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q997992$CA240E1B-6751-4CDE-83FC-A30465E92EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07749aca494e358819982935269def9ce43c8c9","datavalue":{"value":"conservative schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q997992$03E9F188-01B3-4E07-A489-C2791386FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f879a36d754c93226326597a13aa9216da54ec12","datavalue":{"value":"liberal schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q997992$70B8AEF3-B19B-46F2-9F30-4B1DB53D2B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35ec7e898b63e6f9a2a57873cb1e7a0a8efbc631","datavalue":{"value":"free schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q997992$751E5300-6A85-4C5F-BAA7-8A58455E0356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cdb0271c877f3c2dcded2824006b6cc5f8ebecb","datavalue":{"value":"linear schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q997992$F232D897-E48C-4C9D-9A83-A58ACB2969C0","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":"Q997992$0A712685-A49F-47E7-ABD3-55942843B65F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62834af7034ea0f945f7a388408ef17808745813","datavalue":{"value":"W4212788310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997992$D27821E6-A09E-4A1F-B803-0ED2E09E63C8","rank":"normal"}],"P223":[{"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":"Q997992$4D87D113-4EA8-408F-A316-EB7DAC809820","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":"Q997992$C6090972-31A9-4C49-8B58-3FF163CA98EC","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":"Q997992$ADD7C2B4-A426-4FF0-95BB-3EEA953A7E54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90712809573f53ba6c27372194ed4e3bd82030bc","datavalue":{"value":"10.1016/J.JLAP.2007.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997992$C206FEEB-4942-44AE-9A54-5CD70E2B1D3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e8e4434c9a01973b7bf1d1a0eb355e8cec75e5","datavalue":{"value":{"entity-type":"item","numeric-id":649588,"id":"Q649588"},"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":"Q997992$A0CBA00F-9A05-40D7-8998-BC3967E90F73","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":"dce0f6df4ca85decf5f4f973d32e878ab7e3ccdd","datavalue":{"value":{"amount":"+0.8312754034996033","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":"Q997992$5A80FF61-6107-42BD-B419-13AC502A81CE","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":"92623619d2333588889619c75d43469e9face39f","datavalue":{"value":{"amount":"+0.8299623727798462","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":"Q997992$47541F5E-2183-4CC6-8490-480807C5C28B","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":"28092dd3840e83c107beafac936518776a847e0c","datavalue":{"value":{"amount":"+0.7760435342788696","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":"Q997992$442195A0-E91F-4920-9861-FDFE170A73EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558b774e8bf358de68272cc1d3b439d9584b78b9","datavalue":{"value":{"entity-type":"item","numeric-id":1941855,"id":"Q1941855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169966fffc14d9dc5b614df8aa36b79751ef95e8","datavalue":{"value":{"amount":"+0.75389164686203","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":"Q997992$3131EA09-55E5-4AD9-ABA4-DEA3254679A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_minimal_semantics-preserving_slices_of_function-linear,_free,_liberal_program_schemas"}}}}}