{"entities":{"Q1200980":{"pageid":1211729,"ns":120,"title":"Item:Q1200980","lastrevid":67076091,"modified":"2026-04-12T14:55:24Z","type":"item","id":"Q1200980","labels":{"en":{"language":"en","value":"Equivalence-preserving first-order unfold/fold transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96003"}},"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":"Q1200980$109B0E79-9BE4-4AB2-B91A-FA85F7195EDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80c3f267b6beb21bbb47e1d61c3ba74869434d76","datavalue":{"value":{"text":"Equivalence-preserving first-order unfold/fold transformation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200980$04C6245D-E57D-426F-A71C-4300BF50CC8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86e9b767e6d4ac24c240b66fdd0415b6a9af7c97","datavalue":{"value":"0798.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200980$BD35244D-CE8A-40A3-A423-BB7E6A7E0324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69492d692e632ee5a493bc6bb2e5563e87dabb93","datavalue":{"value":"10.1016/0304-3975(92)90287-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200980$FFB73348-4EFE-4ACC-A377-8F5867B68532","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e797d21326216ad55a231168906c9c452687c51","datavalue":{"value":{"entity-type":"item","numeric-id":209152,"id":"Q209152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$CB4C35FE-46B5-44CF-9A42-DFE2068B4A72","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":"Q1200980$B00FEF59-DD7B-446D-B441-64F0E85AF1BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1200980$AD2E9B47-6781-487D-890A-021C24B806CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200980$BDBDA105-43C5-44DB-AC75-B7DF9D9113D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200980$1A44607A-20CC-4331-B690-BB5A1CB35283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"278a2a835cca6a8fbd852d00cd2ed3ffbd97250c","datavalue":{"value":"96003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200980$B915A306-535A-416F-80D0-7F8CD7A6084C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200980$04F53386-64AE-4856-BD5F-F55AFCC20CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08cdb4c2ecb1ddb12de96c4f7481cf8e1c7855a1","datavalue":{"value":"unfold/fold transformation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200980$86E98899-AA3E-4231-AD06-2CD49A05AA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe07994a3e06f129de218da075e97d6ff571bbb","datavalue":{"value":"first-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200980$2D5BBD06-7E34-4812-AA41-0999090804AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200980$7CCFCED3-5F7D-49ED-AB98-A955F84E3CAA","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":"Q1200980$6D259959-0192-4731-B792-687898ED74E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f93041fe6d7db6318dfbd457c9a855fed097172","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$C603E0A8-AC98-4E2F-B8A6-7AE320F95250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5fbef61deea61b01d69779a7921689b16e21f","datavalue":{"value":{"entity-type":"item","numeric-id":3043128,"id":"Q3043128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$5160326A-B3DB-4B0A-8A7A-0BAC709072A8","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":"Q1200980$0FB0A2E7-5EE6-41A2-AE67-7F4F08A94590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af916081fff2170a7046b3d1926c0b32d663297","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$51C5CD34-7708-486D-880D-7053F97DBC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$79DD4C8D-0492-425E-B67D-06B83A80F276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bc9807b977bfcc63e791650699d9d460c5a6c","datavalue":{"value":{"entity-type":"item","numeric-id":751309,"id":"Q751309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$02ACF432-A539-4480-A312-2DBFF8436701","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":"Q1200980$063BBE70-8115-4454-83D8-AFF3EE5244A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$901074A3-4EDB-4EF0-985B-90CD23A1704A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$A29E1A20-916C-4730-842E-13D73EA02E83","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":"Q1200980$A196E458-918A-447A-AD00-615F1040BAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$0916CAD8-A660-4DF2-96C7-92262D06E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$46A2FEBF-B046-4D4C-9A8C-7DCDB68C357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a744b13fccf4a7ffa4539f069aa091ed719c920f","datavalue":{"value":{"entity-type":"item","numeric-id":3355225,"id":"Q3355225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$F193718D-0C62-4C82-A13F-A7E12CC66A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc7ce782192afebee533fd99280edb83d8498c1","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$6D975016-D6F8-43D7-9B10-5EAA9C28BDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29952e6d73ce2eba4a577f9905a2b718fd373a81","datavalue":{"value":{"entity-type":"item","numeric-id":908686,"id":"Q908686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200980$E39D4253-E5DF-4DE5-9B8F-2BB37A41C0C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9925616c15f059180fa90dfe3b4a25f100903de1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90287-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q1200980$2B4E912A-7F50-4A9A-9306-74970519988F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b8272f3f9ea46b5ee73ef6eefc03024d66cc519","datavalue":{"value":"W1532674857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200980$F86A22EB-DC61-426C-A836-7C2E02D4A5DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9865a70006563e90e66a3110d55bd802a85ae41c","datavalue":{"value":{"entity-type":"item","numeric-id":5096195,"id":"Q5096195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939f7e0aa006963ae32be1a9a208265eda706017","datavalue":{"value":{"amount":"+0.98111415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$EAA3DAF5-82D1-407D-A2CF-34D0D9D113BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed4452b88de96217fce2d9ac9f739d7aa5dcc1e","datavalue":{"value":{"entity-type":"item","numeric-id":3719825,"id":"Q3719825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f222a7e9dc86cf966d59049e12a30372eaf394","datavalue":{"value":{"amount":"+0.8639383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$5E469A84-E457-4FB2-B92A-9F57EF9D7B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63910f2f446b7fa086e16d5930d4930a5f04c87d","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87dbeee8c12ec2c7d0f35fb2113a6ca1de77566c","datavalue":{"value":{"amount":"+0.8634476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$D06EE7BC-CFC3-4B9F-AAAE-74FEBEEE5483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f095ea7dda96769a796929d20fa6ff04fd181bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4260382,"id":"Q4260382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b306ae96d607832b574ae7bd37b6b67db3736b00","datavalue":{"value":{"amount":"+0.86314744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$DED3905E-D102-4DAB-BF02-FDAC26D3C6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe493503d2c4e0191b9a058f6e08c4321b8a4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5164174,"id":"Q5164174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd01b04599b203f246714c8867ce85504883a249","datavalue":{"value":{"amount":"+0.8616304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$CAF20A75-2C2D-4AB7-8970-6397F62C0D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236fed23f5ff87b4387a727f29e1645d1705a677","datavalue":{"value":{"amount":"+0.8476683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$935A7DFC-F5F4-4308-97F2-E26C0F74498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395eccfe213b58767d00b15b0f2ea17c23ecd7df","datavalue":{"value":{"entity-type":"item","numeric-id":3812955,"id":"Q3812955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6860650151383da0976ff3a93263902d28666013","datavalue":{"value":{"amount":"+0.84539855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$9D50CE8D-9718-4880-AFBC-B58B4B26BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36752e8b9a8184d78a5d4d6525028c443920cd0","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ef584448da477b48959a8835ba9deceff0e5a5","datavalue":{"value":{"amount":"+0.84392506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$9250EC30-07AE-4581-8D99-B275C0A6E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc446dde122d815be5bd3e1dd296427ad62b61d","datavalue":{"value":{"entity-type":"item","numeric-id":4707738,"id":"Q4707738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb115f1148f29cadf9cd151dea27d20989cadb6f","datavalue":{"value":{"amount":"+0.8435895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$74A3554F-6A2F-4E4B-AF4D-5ACCF13AF04F","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":"44c7b2ecbb1129afd4e00529e809669a28db798c","datavalue":{"value":{"amount":"+0.8420625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200980$959E28EC-256C-45DF-AD74-3F0303A39500","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence-preserving first-order unfold/fold transformation systems","badges":[]}}}}}