{"entities":{"Q3585155":{"pageid":5615059,"ns":120,"title":"Item:Q3585155","lastrevid":58214754,"modified":"2026-04-04T06:34:52Z","type":"item","id":"Q3585155","labels":{"en":{"language":"en","value":"Transformations of logic programs on infinite lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773233"}},"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":"Q3585155$5D0D9E9C-7516-4116-983B-B0E630B50F37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c119d7d3fc394d50e6ef3c37351fa2c59757b2e","datavalue":{"value":{"text":"Transformations of logic programs on infinite lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585155$FC74AF6C-B715-456C-8D70-CEE2D0526F3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfb28535508dc0546199255ea2cfc2a40af5e640","datavalue":{"value":"1209.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585155$B17F3E78-98F2-4D10-95C0-FD6D7AB19F97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e621f605703f1eb3c349455d93aec2b5489d54ed","datavalue":{"value":"10.1017/S1471068410000177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585155$8CFBABCD-032A-40A3-B38E-7E4DB1309CAB","rank":"normal"}],"P16":[{"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":"Q3585155$7DC300A1-197C-461E-809D-F1AA62282085","rank":"normal"},{"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":"Q3585155$A5F06D04-6D7F-4178-A27E-88EA6AD24908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$23399F2B-DB2E-4050-81C9-34CD8DD2B6F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$003CAC89-607F-40CC-86EF-4F7DE0732FC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585155$6B709F25-7F4A-41F6-9E51-890F29092CAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7442389443a34d0e3fdac526a0d9035cf9139f59","datavalue":{"value":"https://arxiv.org/abs/1007.4157","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585155$E5479700-E927-4DFE-B782-29719DB50F9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585155$E467E5D3-6B45-4CBC-B3E8-C5EDE64FF9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585155$37FD1F1E-F8F9-4CF8-8F33-F0B0B6A5DB58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2b97c1ead0819d776631941b60da9e8b0e6a194","datavalue":{"value":"5773233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585155$D9C2F47C-79E3-453A-97DE-4B6C8158D259","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585155$FEFE32F2-71C8-4458-9BC7-4818EC5CED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585155$AD5671DF-CC80-4E11-AA51-4A70D54E19D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6d2759c2e660cc7eb205cb131053b650c2b7f9","datavalue":{"value":"infinite lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585155$CA342795-CE20-4C45-9EFF-67503974F824","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":"Q3585155$0A51EC97-EEB6-4939-903B-D1CEF0C2F2A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e357561b24d9113100e0759ecfadf0c69ade7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":673496,"id":"Q673496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$4323EC68-E4F9-4875-A371-CE7DCA637350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127bd7b7b3fc8392a92b61a8258938e63daa67f5","datavalue":{"value":{"entity-type":"item","numeric-id":1378382,"id":"Q1378382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$93213723-52C5-408F-97D7-0B1131C7E628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$9631CF63-7DC6-409C-9005-8BD66519F0BF","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":"Q3585155$F1AC99DF-8AF8-4351-92BF-BFDB31C05F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$23C8EC58-B4B3-4D05-9EC6-48BC7EE3F810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6f503f40624c3a67fde02595febb3d31b13ecd","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$C36952F8-7E28-49F1-9F11-F17ED822726B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc3d89a265c0fbf05cbcc30aa42dec8f0736b15","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$8C4997FE-368B-410D-A8A3-FA5F4EFE5F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8de35220b0c3429518ad82b9a79e4b6f730b07e","datavalue":{"value":{"entity-type":"item","numeric-id":3021960,"id":"Q3021960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585155$4A58787D-DFDB-45FF-9C46-9D754077A4B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a029e6889b9e6764052e9e134c592a67df20b382","datavalue":{"value":"W2157162154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585155$3B1D8E40-8841-4BC8-96FE-50934165AD43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64c53daeb5a09ca5f0f9b43e9c71ccc29bd6941","datavalue":{"value":{"entity-type":"item","numeric-id":4909325,"id":"Q4909325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4505f85f4d5d7aa26136f269463bedb9b820567","datavalue":{"value":{"amount":"+0.7936411499977112","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":"Q3585155$00D37ABD-B937-43BC-9E71-A3FA30D4A7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49283f14c7cc27f0d17b2a320f270711e5a0367a","datavalue":{"value":{"entity-type":"item","numeric-id":4036550,"id":"Q4036550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1755600a6438cdf7c9f823dfc7ae8f565563e5","datavalue":{"value":{"amount":"+0.7866415977478027","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":"Q3585155$E17F2F2A-CAB5-4E4E-8B91-B0CEB4FDDB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371326eeac10c25704cd09a7ee4c6277b8b1105d","datavalue":{"value":{"entity-type":"item","numeric-id":3558281,"id":"Q3558281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29609c5ba4ffeb2f6c5156c6b5266c2370d4034","datavalue":{"value":{"amount":"+0.7853323221206665","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":"Q3585155$E9DFF2DE-178E-473A-8E2C-01C14945DF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365d1e4847373aab9687eb37099f51b2aef819e3","datavalue":{"value":{"amount":"+0.7848954796791077","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":"Q3585155$88792DFA-F2F5-4B02-BD27-ED2A2D0A873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda4b9f3b9fb9cdc5205cfe3aeb3a793ba49afb","datavalue":{"value":{"entity-type":"item","numeric-id":3079918,"id":"Q3079918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616ac68507b236d31574f40502c314bafa453b4c","datavalue":{"value":{"amount":"+0.7763828039169312","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":"Q3585155$B0BA4568-0434-452B-AA82-2A539B9F8926","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585155"}}}}}