{"entities":{"Q1069694":{"pageid":1080446,"ns":120,"title":"Item:Q1069694","lastrevid":48894658,"modified":"2026-01-06T02:46:14Z","type":"item","id":"Q1069694","labels":{"en":{"language":"en","value":"Optimal fixedpoints of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936486"}},"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":"Q1069694$DE8C6528-F2F9-4AA0-9F0C-78BEF75C0F09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"929e2b786458e3b0298e47f4ececa5cb3e918144","datavalue":{"value":{"text":"Optimal fixedpoints of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1069694$FC1CB1A6-D5CA-43D7-AFC0-17F298EE0EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"341457308df34b2d19e69a2e50b3b25a57bc732a","datavalue":{"value":"0584.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069694$82772272-02E4-4F86-8AD6-5EE92F28309C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f151b3994c35ec7acce33c4a51a9bcad5fe74a2","datavalue":{"value":"10.1016/0304-3975(85)90128-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069694$9012F720-E2A8-4F27-B70D-98F325AD3F6F","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":"Q1069694$6C3F4AB2-BFD8-4C6B-BF1E-1597D21E3A25","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":"Q1069694$FE487E70-86B1-40CD-B188-D59CE5523AB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d85fe8de2bc3ca2146d4651bfce78bb3bf75038b","datavalue":{"value":"This article is almost identical with that of the same title which appeared in the proceedings of: ''Foundations of software technology and theoretical computer science'', 3rd Conf., Bangalore/India 1983, 343-362 (1983) and the review of this [Zbl 0534.68013] still applies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069694$D27B4091-1092-42E9-9A5B-9317AC7A617B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069694$3ADFBD81-6436-42CB-BE5C-CA93505A373A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1f5edd81218083e7f95f915e00f477dcd648f90","datavalue":{"value":"3936486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069694$7B2D2CF8-A196-48E2-8699-3FA306CCF77B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c382bacdc62d49e43734786b7acc9281e0c8aff8","datavalue":{"value":"optimal fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069694$0C18019A-7707-4B05-9932-67789BDB6780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069694$D29BF669-78C3-449A-9DC1-967355416E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069694$071D3AEB-0E4F-4E33-BD3E-6E62EBECB681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4dad990f373053ef6a33775a562eda48d27a305","datavalue":{"value":"least fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069694$8F015DE7-B0F3-4295-9616-0F45DBF4C744","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eb63b20d64c32d1c242efa8869e2c9d8345679","datavalue":{"value":{"entity-type":"item","numeric-id":688573,"id":"Q688573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$F5615533-59C8-43D3-8AA6-66CA4C4CBA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc887fe48915953c46a830e1bd31614664eea0f","datavalue":{"value":{"entity-type":"item","numeric-id":688574,"id":"Q688574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$6429C2F9-9313-43AE-BB05-3CF67C39EFC7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71c876594569243d8a46dba6a49cb7e4f79f826f","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$D3F30168-CD78-43B8-A646-4FAD21089608","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":"Q1069694$8E5EA114-74E9-4EA5-ADD8-5BBADCC4AE06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5889f67b0c8914189194ee94dee6657249342c28","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90128-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1069694$CC194997-4D76-4344-871D-63288FBCFF92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cbe95c09f402131d235163323d929adbe360bb1","datavalue":{"value":"W2061490938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069694$4326CEE3-D6CE-4290-9418-F0101288D981","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$A2751F88-5DD7-4AA4-87A8-23616041C431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$A26B0552-F5E6-46AE-9233-6893830A38B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$BD48DCE9-0E31-4CC3-AE95-30B4AF5B0135","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":"Q1069694$525F1DFB-1696-4776-8238-0A797094446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$6C8BB09A-852C-4425-A256-03C06590AB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$020C357D-1793-43D0-9EF5-F3B535DE0874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470336b86f7e93b9af304caca1999cfc5d661f50","datavalue":{"value":{"entity-type":"item","numeric-id":4130959,"id":"Q4130959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$89E966CB-DC9E-4CDB-8980-DFA3766A8F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a09fd37d047d884c164f2f18fd4dffd22fd449a","datavalue":{"value":{"entity-type":"item","numeric-id":4134910,"id":"Q4134910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$387580CE-E9FD-4F09-AC29-FC3B423DE14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52896cd88a5f2799c73a3e4eeec032de3bfddd9","datavalue":{"value":{"entity-type":"item","numeric-id":3334069,"id":"Q3334069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069694$CFFABBD2-875B-43F4-9933-156C741C0A33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7301680fa7de8c1070c0fb8f2a99612986f6438","datavalue":{"value":{"entity-type":"item","numeric-id":3318096,"id":"Q3318096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c527e9d12eb46a55b586b835b33263fd015a05d0","datavalue":{"value":{"amount":"+0.8609355092048645","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":"Q1069694$1B25D250-94AB-4429-92F8-03764106B8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4adff56a0d7487844dd8a4db8f23fb59a4c8ce","datavalue":{"value":{"amount":"+0.7717669010162354","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":"Q1069694$1B2A4445-BB1A-43D1-B0B0-0F64357D8889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7096e3934622fc630e611e77d1bc81c9030f25","datavalue":{"value":{"amount":"+0.763110339641571","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":"Q1069694$EDE519CC-41FF-4EEA-898D-8FFA67AC2A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de4da299437f702528f1f2d9f54c4a913c4f20f","datavalue":{"value":{"entity-type":"item","numeric-id":3079915,"id":"Q3079915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a80b6c22767440328f2d978df58409c405e04ca","datavalue":{"value":{"amount":"+0.7465033531188965","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":"Q1069694$771CFB98-F515-44A6-9C07-B7CE556DE383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4f96e17fc61b202dcdf99d4677adfc129f0fc5","datavalue":{"value":{"amount":"+0.7441046237945557","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":"Q1069694$DF8D257A-68C0-4C8C-BFA3-C8BF845CF860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1069694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1069694"}}}}}