{"entities":{"Q3707362":{"pageid":5737268,"ns":120,"title":"Item:Q3707362","lastrevid":50486363,"modified":"2026-01-14T04:31:27Z","type":"item","id":"Q3707362","labels":{"en":{"language":"en","value":"A theory of complete logic programs with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936478"}},"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":"Q3707362$BBC998D4-DF49-4F45-8D74-8D2538D2D88F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0aec53e678e2dbbf8166ae0afccbe2fbfe8440b","datavalue":{"value":{"text":"A theory of complete logic programs with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3707362$C3480172-4E97-47E9-8F0C-ED88E2EB71E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0106f826799d4748cb1f56b490a8f1041c5564a3","datavalue":{"value":"0584.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707362$CDE0A44E-167C-4DF6-89DD-38A64947D7CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b67ea69ed0f44b8ad18508f0804a4d4b7c80f734","datavalue":{"value":"10.1016/0743-1066(84)90010-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707362$D99EC353-6929-4BDF-9027-0615051C74E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707362$FDE387F3-37C5-40ED-9756-A5A2AF71BCC4","rank":"normal"},{"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":"Q3707362$E87E2923-257D-4AC3-891E-915C57751571","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":"Q3707362$97EC8EFA-6140-4A27-AF30-E655F94CCDAB","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":"Q3707362$F11B00F2-281C-4520-955D-899FDC024352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3707362$F41C6425-6C0E-420B-9CE0-8797B7115C39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707362$2ACA565E-B7AE-4D95-B10E-F3F1D2B0EA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707362$64775718-0035-40F3-AF36-6FD275E00146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707362$2CCA1CFA-7B4E-489C-A482-41C359D31403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8359a7ad984c763c1f6b7f98e0e064e6cc24879a","datavalue":{"value":"3936478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707362$6DCE3D4E-C377-42AF-825E-9B3438D33CCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$4F5E5FDC-63B4-4095-84DE-32941B2ADFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d4dc085ce17f26063892ba9e58538f9f5d9ad1","datavalue":{"value":"Horn clause program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$0D8BA701-52B9-414B-B7F4-0259FD1A9B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab93d96f2170a320227d6faaa9833505db57404","datavalue":{"value":"success set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$DA7D5090-3876-43DE-AC50-9A85BD4B3FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d22830910f294fd136fdeb82c88f462ce18508fb","datavalue":{"value":"finite failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$80A96779-A72B-4B75-846A-A8569203497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d2b119ff538bd37f0a0262d2a9b48f3620ed64","datavalue":{"value":"proof search tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$457E132A-48F7-41D8-B72C-78137B5CF0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098e51eddc558cefd7d057090e000c7bd51b97da","datavalue":{"value":"Fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$8E106887-12A5-4906-86AF-9A7F3BA8AE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$BD48E95B-AC26-4610-90D7-09D500E7F4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c7f8770b002bbdd186cb728e055481c9d17a0b5","datavalue":{"value":"Clark schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707362$11DEA929-8A08-406B-B8EC-94EA4C5B9B91","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":"Q3707362$7516812D-8BCE-48F2-A41F-34BFCE79B2AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be4a4bd76833768d047c2be4110b887cb3ef5178","datavalue":{"value":"https://doi.org/10.1016/0743-1066(84)90010-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3707362$41FE5A40-A40C-4129-B3D1-64AF05560E36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"795fd9066a93d1d16b490b86a125bc3de9834e72","datavalue":{"value":"W2017637575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707362$40D5EAF4-A8F4-4CD2-AD5F-981551BF241B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fe35c49512ef6edd57763a74b6cf4b77213db0","datavalue":{"value":{"entity-type":"item","numeric-id":3727350,"id":"Q3727350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b5585c934ec3936fedf102b400ce30858ee540","datavalue":{"value":{"amount":"+0.8924010396003723","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":"Q3707362$5E2835F7-4A0D-464B-8D60-BFF9D9734EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddec39672dc8919395d3c8e6e18ec86b736d8d10","datavalue":{"value":{"entity-type":"item","numeric-id":1189731,"id":"Q1189731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c76164ad7f06bea8ce5e7f56110185bb479bc7","datavalue":{"value":{"amount":"+0.8741006851196289","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":"Q3707362$91855C2D-6AC9-4C0A-8D16-AF03991AA09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e85b3b860f0bd64335101ac0621aa3c3f2b0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3768368,"id":"Q3768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18445778158ff90e9abcb8962975d46aec2a22b5","datavalue":{"value":{"amount":"+0.8729815483093262","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":"Q3707362$9AAB23E8-8FFC-4229-87E7-7763F7B01BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5319f5b52d27d5eea3aff0744f3c14bd5d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4428888,"id":"Q4428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bd8d107a2ffea5f0c660d0bec894423371d0f7","datavalue":{"value":{"amount":"+0.8686293363571167","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":"Q3707362$10313334-4EC1-4D09-8D69-4F4417B4B3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6c2e2b10b875138c72a1c869ba84111a8bf006","datavalue":{"value":{"entity-type":"item","numeric-id":3129511,"id":"Q3129511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2a72deb69c5f7f395794e3ba2733e18d85876b","datavalue":{"value":{"amount":"+0.8349385261535645","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":"Q3707362$C3616A30-FEC8-4009-9C7B-CB94E6F53EC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707362"}}}}}