{"entities":{"Q3677145":{"pageid":5707051,"ns":120,"title":"Item:Q3677145","lastrevid":88649249,"modified":"2026-06-04T15:05:07Z","type":"item","id":"Q3677145","labels":{"en":{"language":"en","value":"Symbolic Semantics and Program Reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898206"}},"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":"Q3677145$7AD20575-CD80-49E2-A8E1-AE7E3687D1B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13b722ceb9a73251d8d6bbb9b2924e4bf0b19a31","datavalue":{"value":{"text":"Symbolic Semantics and Program Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3677145$D27762D0-7A4D-4B91-BA9C-E83E9CE67A6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ff694a5525e40a9616179ef1897bf471ba5315d","datavalue":{"value":"0563.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677145$C4C66E7E-8678-4BB9-A58A-DA71C0886AED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f24a1284c54375c2aa87df0118020d4a1335525","datavalue":{"value":"10.1109/TSE.1985.232527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677145$3FFDAAA5-CA1B-4871-8490-7A484176ACFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d48d5210fb3fee241bae286ec1b3dcf121e6dbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3124454,"id":"Q3124454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677145$4D10C255-F62F-4C22-BE13-F8B4AE0BC2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"389ca8b22954718a99af740d3555389337dec168","datavalue":{"value":{"entity-type":"item","numeric-id":202169,"id":"Q202169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677145$B1E35AE6-AADF-4A94-869B-34E9FF18F02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677145$DEC7B64C-4B93-4F1E-A3DA-D5F15AF2CC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86d2ae42b4ac6b7475aa3d6d5d960440f9add9b","datavalue":{"value":{"entity-type":"item","numeric-id":672702,"id":"Q672702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677145$FA29217F-45BD-4B01-9C1B-55954303330D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677145$889C2153-5C6C-47F0-BEBA-4F95E208E48C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3677145$429F3ACB-549F-431B-BCF2-59A54AE44CCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677145$44E86D88-D491-410B-BD82-DB2F538E04D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677145$BF6B7BA8-01A7-4845-BD2E-F4A198C956AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf117caac849bbd70d0a10182e7363d8352658a8","datavalue":{"value":"3898206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677145$29F75626-4565-497D-9D83-73B98307125A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940b0739632e21f0e6fb7821d4c99956c66a10e3","datavalue":{"value":"program reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$5FA39AF1-6099-422B-A8C8-B4536815DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$D0029757-3096-47F2-B1CA-DDDA58D0B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$4644EC7F-FE98-43AA-9DA5-54C6E3A48A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6a3fc341e1f579c18f7681e6ea2f8d6ac6e7e8","datavalue":{"value":"symbolic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$E83DD7FF-90A1-4D3F-BC3F-6E1966F03E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70d14d55d350745fc9e96504c26ff64cf2324c6","datavalue":{"value":"transformations of functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$84ACF2FD-5241-4921-A2F1-FC61EB728C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$127237E6-7447-4E91-8049-FAA309A932AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0bf2808dc9ccf5fc152d563266adf6dee6f9c8","datavalue":{"value":"symbolic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$BBFBCD8A-65EB-47D6-B321-3E35DE453643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37a1b7def40fb8e1fb5a6fb41190dc330259ab2b","datavalue":{"value":"abstract data type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677145$73A6E4A9-EE33-4AE4-805C-24136CE647D6","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":"Q3677145$C7F09E61-0412-46F3-83EE-9253E8B61C6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"692e3219cfd703757b249b5fc0d3933a87689d6f","datavalue":{"value":"https://doi.org/10.1109/tse.1985.232527","type":"string"},"datatype":"url"},"type":"statement","id":"Q3677145$82083E74-5F3E-469C-AFA0-AE611C6652D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dc488dc51fd1163f57313fdb6fdb00df7969032","datavalue":{"value":"W1984297907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677145$4D9E4630-856A-4D63-9E3A-A775F680C75C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a013237ced71b455d759110b073be7bcd027f2","datavalue":{"value":{"entity-type":"item","numeric-id":1087006,"id":"Q1087006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327fbc107a698d4886341c62c2a937f2685c3e0a","datavalue":{"value":{"amount":"+0.766964316368103","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":"Q3677145$917361A3-2F7E-4556-8C33-50103D977BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a26efb19992f6a4fcb31df0336738a537fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3981b9edae40816bc769a4c3df9fe3dc1d7cd7","datavalue":{"value":{"amount":"+0.7472842931747437","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":"Q3677145$79031FFA-D3C4-4D7C-AD28-E147DE892A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1895483cbbb5bcd7a601d9ac89be5c2fdc0f8563","datavalue":{"value":{"entity-type":"item","numeric-id":1749128,"id":"Q1749128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c1bbb09cc887b17df0dc930d946ad1fd3a9400","datavalue":{"value":{"amount":"+0.7353357672691345","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":"Q3677145$D38F586E-0178-43FA-A9FC-A999184C98DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bddb4a79f7ee198ff8c99d161d63ff5788c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2939022,"id":"Q2939022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3aa831ab2e368f7bd6095b5600c232f59028482","datavalue":{"value":{"amount":"+0.7322169542312622","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":"Q3677145$79C017FE-23AD-49CC-A243-6CC134211135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8817a3c2dbdb1881bdce708774b70c98d6cd02fd","datavalue":{"value":{"entity-type":"item","numeric-id":3677142,"id":"Q3677142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17317e54620549df61ba46619b17e18df98643f","datavalue":{"value":{"amount":"+0.7305176854133606","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":"Q3677145$F1454507-D60A-4839-A574-16CE70011928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic Semantics and Program Reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_Semantics_and_Program_Reduction"}}}}}