{"entities":{"Q3787447":{"pageid":5817353,"ns":120,"title":"Item:Q3787447","lastrevid":52711997,"modified":"2026-01-23T08:20:06Z","type":"item","id":"Q3787447","labels":{"en":{"language":"en","value":"Toward a declarative semantics for infinite objects in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4050955"}},"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":"Q3787447$B63E578E-B9C5-42A1-B7A4-B90D04059B0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fb840496f496b61260d82d57e15a4bd106c541a","datavalue":{"value":{"text":"Toward a declarative semantics for infinite objects in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787447$ECADFF11-32C5-42AE-AD44-56B876894664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82154a055ce4cfbf4bd2fbdbb05f2be8eaf39c1d","datavalue":{"value":"0644.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787447$E02892B5-7D05-45BD-A379-17D6FDB003CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fb5be75fd5c9d45b2faaba314f6704eaad92f48","datavalue":{"value":"10.1016/0743-1066(88)90016-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787447$EB926B45-48C6-4572-9C78-2C2370B1C676","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac4015ba8658c7391c6c06368d339de39302fe61","datavalue":{"value":{"entity-type":"item","numeric-id":3343433,"id":"Q3343433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787447$F7A084FF-9FE4-4CE5-AF8D-DBCBB2158927","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787447$CF68B174-0948-4352-985E-E988589C08D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3787447$38E39ACB-3A15-469D-9BAB-6C468EEB01FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787447$0C1DC189-B0B4-4887-A589-AB80ACA3EFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787447$9E8B6A5C-8DA7-4236-9714-BDFEFC081477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787447$1DE74915-9060-45C9-BF9A-CE595EE4C640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f3dc0d6dfef94ff64081a5b41e2842990fdc5fd","datavalue":{"value":"4050955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787447$1EDC1004-7216-48FF-BFA2-EE4DFCD2C8C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed9c79d4a969fdce72333fe773c6615a0a515379","datavalue":{"value":"fixed point characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787447$5D9590AB-F1B2-432A-A396-244118C1E3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54892188592d6d8bc2513913a60b2d461428a3a","datavalue":{"value":"minimal infinite objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787447$93C75646-F647-4D39-8685-9D6C9A270C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed7c30a81e1e43844f83991d9cebfb24af7cc59","datavalue":{"value":"nonterminating logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787447$88E922FB-87CC-49F4-B20E-3AC3517F541C","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":"Q3787447$A2080BA9-8D0F-47C0-8C63-51FA3BA37CFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f41341d3fa7f2d9441ce3cd2f46092a6e7994c4","datavalue":{"value":"https://doi.org/10.1016/0743-1066(88)90016-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787447$C2959209-0AFB-40E2-A54C-95A6C7B2F56D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e29c49806ea3847f41662e1516f2bc96694e8bd","datavalue":{"value":"W1999459111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787447$7467A210-4536-42F0-ACA1-79E8D6BEBAE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69774367d5a74f4b463c400a62bd6a629de91fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61671546c27254452876826cad418be14f522d0b","datavalue":{"value":{"amount":"+0.8367453813552856","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":"Q3787447$6FC1EC48-6DA3-4C1E-8511-3E959CF81D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d62c369f4c503380f9494910e4db6c33ba930db","datavalue":{"value":{"entity-type":"item","numeric-id":3742694,"id":"Q3742694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d101494e78c078422def55279ce7956fc7fb3eba","datavalue":{"value":{"amount":"+0.8360947370529175","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":"Q3787447$524AABE7-64EF-4D87-BDE6-26936A5B7CB2","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":"84f945f403572ad771bedc19d75fe08889054a3a","datavalue":{"value":{"amount":"+0.8335886597633362","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":"Q3787447$1D5806AD-9D29-455F-8EC2-590B297C7CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ec9a7cf6779a4cb91769541faa44254e614d10","datavalue":{"value":{"entity-type":"item","numeric-id":1193890,"id":"Q1193890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f945f403572ad771bedc19d75fe08889054a3a","datavalue":{"value":{"amount":"+0.8335886597633362","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":"Q3787447$6C916F80-5A2B-452A-BF3E-A5C3D665C251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd6a8c0b5355f80dde2de7a2ec9cc1c93afc15b","datavalue":{"value":{"entity-type":"item","numeric-id":2753684,"id":"Q2753684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730ac8883bb42f51b7048ecad873f6b356257c63","datavalue":{"value":{"amount":"+0.8192501068115234","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":"Q3787447$43A5A4F5-6C05-4288-BCE5-F6E5D095E55F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787447"}}}}}