{"entities":{"Q673496":{"pageid":675345,"ns":120,"title":"Item:Q673496","lastrevid":46767192,"modified":"2025-12-25T13:33:58Z","type":"item","id":"Q673496","labels":{"en":{"language":"en","value":"Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985606"}},"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":"Q673496$77B56936-64B6-4E47-977D-47EA4F466E7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e54b8073b5c325060f15536b737a8ccbc8d832d","datavalue":{"value":{"text":"Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673496$DE06E426-0435-47FE-B353-9AE5875A4CF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d00ffdcb0fdbdece68669726f0040b52152f12a8","datavalue":{"value":"0873.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673496$8B69D1AC-97CD-4913-AA9E-57714ADCC339","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f1b6d7f91fdcbb1b8f8549e98f928204685fa42","datavalue":{"value":"10.1016/0304-3975(94)00227-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673496$DB7F4320-55F3-4D62-9272-ECBA093AF148","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$17031559-223C-48D8-BED0-B7832FEE9D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$F31E4E55-201E-4C33-9EA8-628B6A5B40A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$E7948BAC-6AB2-4E74-980E-FA0F73588121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673496$CA8BC14E-DB5B-4603-B158-AA7B484229D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673496$CEF5A6FC-E275-4C55-AF9F-7A078692D5C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"083a29de953813b89ab8692b4024537141e97868","datavalue":{"value":"985606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673496$F8715902-ADD1-443E-AD17-A5887F6408AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q673496$417EE4A2-F776-4E0F-AB87-208B3E90AE91","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":"Q673496$A3A8780D-0FFF-4D31-BE84-F38E6DDD9E7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$A3B5A47C-101E-4998-862E-69DE81DD1775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fb6d7f3f1cccd15ce00adc4bf2837f4b5b022d","datavalue":{"value":{"entity-type":"item","numeric-id":3947094,"id":"Q3947094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$45F3D3CA-17F3-4FF0-98EA-5595C809911D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aca387e341fbb9b8bdabd6b9c61c6e540a4bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$A966B8C9-AECF-4EF4-9D44-691BB1FEECB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$F7C60E74-4CBE-4063-962B-2AEE4FA54BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379abbca003d584882bad9f70022e11410225ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3821563,"id":"Q3821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$9D13701A-FA7C-46D5-8F8F-43B9F035F683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4367288ef1e3f185c6b9c98ef6844033afdf76a5","datavalue":{"value":{"entity-type":"item","numeric-id":1205178,"id":"Q1205178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$7F8EAAA0-5726-4D76-BCDD-CD16AD8D2839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$4D9632E6-BC43-4B74-91BC-2876196ECF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$A66208D9-A73E-4A83-B114-8DEE940B59B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc421beaf448c0aac0777c13814d1b2fe09c3d56","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$F3C5C42E-D8AC-4C59-92C2-C4796CF0CAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$7C15E744-7947-48D4-A1CC-F60B9E365DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$E3526750-AE76-410A-877E-90085453FFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5e5a302b3a7732e95bd95f23bd26edbdb51b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4038669,"id":"Q4038669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$014CCE58-B8C4-4DE0-9D31-321B27FEBF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4bcd76765332f83ca0d4b037c13ff8aba19c47","datavalue":{"value":{"entity-type":"item","numeric-id":4132514,"id":"Q4132514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$9559C804-0F0B-447D-BD80-230697D8B02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673496$3D8DCBF2-5509-41F5-9B11-F1C2CD4B5279","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bf7b0283ea782c6ac6beab18c3f5a0a1b8d1afc","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00227-a","type":"string"},"datatype":"url"},"type":"statement","id":"Q673496$6A33B30D-48DA-4F25-B380-7517B3E8A9DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"579a84f0ac694c0cd09f0f3b9f14cdcc89abd299","datavalue":{"value":"W2029186912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673496$FC5F7487-A145-4617-BDA1-FAE17233F6CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78f0d64e26dbc668c40d981234b558b8bd26337","datavalue":{"value":{"entity-type":"item","numeric-id":4287480,"id":"Q4287480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2eda8aeff63f26cc2debac5cc34ca675f8333d","datavalue":{"value":{"amount":"+0.9945136308670044","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":"Q673496$C60912F6-FED9-4D52-A11C-47046C07B1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dac2e56839e06153654f40d8d02fa06e6b96372","datavalue":{"value":{"entity-type":"item","numeric-id":3142026,"id":"Q3142026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9d8186057de6b01cae9499624cff457a5b8644","datavalue":{"value":{"amount":"+0.8589290976524353","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":"Q673496$0FE94A42-5DA8-4EA2-B82A-4A5C81290D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eaf99e9488687cd0a1a4b6fc5b4161570fcf46","datavalue":{"value":{"entity-type":"item","numeric-id":4015152,"id":"Q4015152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5aef428317e333186357948703d1154d79f27c","datavalue":{"value":{"amount":"+0.8222593069076538","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":"Q673496$D23BD2BB-BBAB-4F3E-AEA7-919007AA4656","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673496"}}}}}