{"entities":{"Q1823723":{"pageid":1834465,"ns":120,"title":"Item:Q1823723","lastrevid":72726171,"modified":"2026-04-14T07:05:10Z","type":"item","id":"Q1823723","labels":{"en":{"language":"en","value":"Translation of logic programs into functional fixpoint equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116012"}},"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":"Q1823723$2F681E07-32D4-464D-9A24-DFE3A4B7642D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe66220f60cd1ef361ac0704112af5959c6a8d40","datavalue":{"value":{"text":"Translation of logic programs into functional fixpoint equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823723$105265DB-8961-47FE-9AFC-E682008033FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7cdd3f5d9d386e6a0351bf2d09d2a801f56bf43","datavalue":{"value":"0681.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823723$54B0D0F8-8658-4F5D-982E-AFB4B6CBFA3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2805ffd3bd3667a96991ff3c44db7a0b39ac309a","datavalue":{"value":"10.1016/0304-3975(89)90009-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823723$3CD43E6C-C6F5-452C-86BE-6AD5A53E830B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"812ebbbfce25d4969b401532ec53363fc9e6b31b","datavalue":{"value":{"entity-type":"item","numeric-id":1823721,"id":"Q1823721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$12C260BA-23EA-4F37-8A42-A69A7980B50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c66c2597b6c7a160f71d9ef17a6152fddb6ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1823722,"id":"Q1823722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$E338829E-2EB4-4050-9418-DB669B15B866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$1E7528AA-8844-4F4E-B367-03604324AC52","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":"Q1823723$E9FCB69D-92DC-4922-B9C6-B1F26FCC4683","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823723$0A99B0E5-2AC9-4EC9-AD60-9227421D0631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823723$F851D533-5B1B-48B3-8696-37E9A897E0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823723$1E274AA1-3C77-45F1-A9F9-ED8C06632F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823723$38298DC4-DB14-44AF-BEDA-CD21DFD7764D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89a6be73f35ec90e2dec5c06bee05eb3eb6cde6e","datavalue":{"value":"4116012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823723$DD6F14CC-268B-4D74-B052-8057F25F2C10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"759274c884b41bb1b31606563f3bad7202dc4bf4","datavalue":{"value":"magic function method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823723$523A54AB-750A-490B-8DAD-86B295F711E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f570d95bfe3d12ec162782b015fc49f552f80532","datavalue":{"value":"connection graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823723$2A69A559-1043-41ED-80C9-5E2FD66829E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44557225c7afc154f3d5e82e3da0dc1b8a72286a","datavalue":{"value":"fixpoint equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823723$50643128-C813-4D8B-9B1F-F150E89805ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362e9a6b6411be8c9703c6d7c490b8c34389e974","datavalue":{"value":"Tarski's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823723$13F504F5-FBE7-46C5-A9F9-73150F46707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91d7e426f9ac9dc9dff0c8b315ef0ac3368ca167","datavalue":{"value":"recursive queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823723$DFC84B46-EC49-4E95-8A05-2F2818B3155E","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":"Q1823723$00E601F3-6492-44E2-A51E-443E8B6E30AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6433c30b9b1fd147199ddf8fe80040699abd5e1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90009-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823723$73C47A57-EA17-4636-949A-C63D0F73BDD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4bd825f849d55077f78a51436fcc65562873e43","datavalue":{"value":"W2045499073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823723$A297F22A-5A6E-463F-AB3B-9D3CF01412EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d996a816abd38109b90210d439b8ff3e8911ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5592247,"id":"Q5592247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$78F061A4-52ED-4B0C-905A-75D15BFC3154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f091a2487faa4320a607c7fc5ddd1d40ffc78957","datavalue":{"value":{"entity-type":"item","numeric-id":5615282,"id":"Q5615282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$F62DA73C-B9C2-457B-BA47-83EC2F2EE251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deea374b82280f9bb78642ae53787a3c1d6cada","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$4595864F-3462-49AC-BBD1-2EF3DB08FCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bf72ec3a13e0bf900746d734dada89a75858ed","datavalue":{"value":{"entity-type":"item","numeric-id":3773309,"id":"Q3773309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$C0220C44-9523-4CD8-8BB6-2480F438BE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0b7896df6e8f63f2fe746d0040c2172c451e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3766890,"id":"Q3766890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$96B82195-F140-408F-B690-739AF4BFF3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$F0903A57-9181-43B7-8844-9095B5E31F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e2b1149ce2b2b32a3e269212d4e8966138cbba","datavalue":{"value":{"entity-type":"item","numeric-id":3691103,"id":"Q3691103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823723$B3D34E40-30EC-4BD2-8476-084A2BE54761","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a584a90b8db6897841ab74bc5ce7d65f4c1ca595","datavalue":{"value":{"entity-type":"item","numeric-id":4725722,"id":"Q4725722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8204093c87e416fa92c294f6523ff776c0adc4f","datavalue":{"value":{"amount":"+0.9236118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$63E84B95-0D20-423C-A562-A6B591C08575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15ac55c74c25eccaf2a58f387f85b9f01706667","datavalue":{"value":{"amount":"+0.9048374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$AF33391E-B9AC-4C82-86DF-DC57870F5661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba08af075418b24fefacdb992be0b95376ac131","datavalue":{"value":{"entity-type":"item","numeric-id":5930885,"id":"Q5930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15ac55c74c25eccaf2a58f387f85b9f01706667","datavalue":{"value":{"amount":"+0.9048374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$DDF4F113-97CF-4C56-9136-4CD5FB687188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a0c9557400bd05cf1c521b5f980192dbc272c0","datavalue":{"value":{"entity-type":"item","numeric-id":2900525,"id":"Q2900525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82f877753b7f8530b001d9fd7786e3a1055a478","datavalue":{"value":{"amount":"+0.90184706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$C961D0FB-07B5-48AA-98AF-FDA16F2FCAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20aa3eb6d08f759e49b3caea72e55fc53284fba9","datavalue":{"value":{"entity-type":"item","numeric-id":5038460,"id":"Q5038460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f10467c2e45cb44b3f703c7439e4ab896b4587f","datavalue":{"value":{"amount":"+0.8961614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$D58F672F-9BD1-4A26-A159-3BABA6760194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b545df89bfebe52b0c0b2a0916e0ad6cc53bc826","datavalue":{"value":{"entity-type":"item","numeric-id":1183419,"id":"Q1183419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afe3f0febf9e73465e2310a23dcec10811dd691","datavalue":{"value":{"amount":"+0.8952693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$9A614A37-0FA5-467C-A62F-6E8921A4DC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e120e715734180afc3ab140168d58ad33395fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59db17eb98aeabc919e9ca71c50e507dd92f76c1","datavalue":{"value":{"amount":"+0.8945859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$8C9B3AF0-D22E-4C40-93C1-3F6362F0561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5560146c5b10ffb9ad2a73d4435c06d525668e5","datavalue":{"value":{"entity-type":"item","numeric-id":3578400,"id":"Q3578400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5e2693ba7589a0879bb2114d6039c65ef02e67","datavalue":{"value":{"amount":"+0.89328617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$58C5C780-436B-4282-9497-B8EE49BD14D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2af4ec774ddf93fa5655789596a53dfe9cd9e","datavalue":{"value":{"entity-type":"item","numeric-id":3727354,"id":"Q3727354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f7998e70d9ff4f0afbdfbba6ee986649ea1fd4","datavalue":{"value":{"amount":"+0.89009047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$0DE15C73-65ED-481C-B8CA-33FF0080DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a8b12c0eba262e728b60605fe82645358baf0f","datavalue":{"value":{"entity-type":"item","numeric-id":4940938,"id":"Q4940938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e625adacdebee365d6625ea40aa6138de26ac4e1","datavalue":{"value":{"amount":"+0.8900384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823723$B10F9A96-67A4-4AC3-82A3-FDBAA52FF8AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translation of logic programs into functional fixpoint equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Translation_of_logic_programs_into_functional_fixpoint_equations"}}}}}