{"entities":{"Q5422271":{"pageid":7451845,"ns":120,"title":"Item:Q5422271","lastrevid":50186063,"modified":"2026-01-13T10:52:38Z","type":"item","id":"Q5422271","labels":{"en":{"language":"en","value":"Predicate introduction for logics with a fixpoint semantics. I: Logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201478"}},"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":"Q5422271$1792FF25-BE51-49AD-850F-405D27C684A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adde7543b73b03449c334cead6e4f829918091ad","datavalue":{"value":"1123.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422271$1DABC58B-1DC8-441A-A703-87085F19C8FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2039c50f4bf7e2e0e187db2c049c2d046081e96","datavalue":{"value":{"entity-type":"item","numeric-id":313141,"id":"Q313141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422271$B0E6AFED-7B5A-47F6-B9C0-49C641EDDECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80b140b224e771dcc4dfcbebd6e6f91f547ab29f","datavalue":{"value":{"entity-type":"item","numeric-id":2946702,"id":"Q2946702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422271$9D9FF88A-C340-466F-A290-DB06784483C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8867479da5fd6ab21e678bb716183ac3bcba2e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3498481,"id":"Q3498481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422271$49D49A25-8805-4FD0-89AB-46CD0F8DDE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422271$D57837DB-0738-4935-AF79-677A11818A77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422271$273437C4-826C-498A-BCA1-DD761922AD0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422271$79EBA7EB-1409-487A-A6E8-007A694252E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422271$64772E08-83C3-4214-B725-C764AC68861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422271$228307AD-FCE3-459F-8C99-DB382EBC83B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96edcd4fdb8c5a8d77a37989c239923f47d63299","datavalue":{"value":"5201478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422271$EFA78679-BF4F-4114-8932-C122CDF989CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a252a598e69a70c6c8d06fe5a30954e133be4e05","datavalue":{"value":"algebraic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$6E356FAC-C4A6-447A-A92F-0F217CEF2BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6b0ae2311aafde3073f5cbf95a128d5e5307fe","datavalue":{"value":"predicate introduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$8A7E7245-4779-4596-841D-7E084CF43591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$3C55BEBC-44A2-451E-8A91-C13A893C5EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999d35f359100f167c13eb8cfefaca94fb3bf9c2","datavalue":{"value":"nonmonotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$E712414B-0B0F-40E3-ACA8-C2CE3EBA8AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$342DB25D-EF4B-4737-8581-9EEE51037007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1199a36d8dd30e90713192bb02fdd1473fb89b19","datavalue":{"value":"fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$9BF34450-789B-4FD4-ADCF-562B514B9910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$49087E25-D7D3-4ACB-AB30-A9021D29AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$97E1B6CB-54C7-4DE8-AD4E-7512E7CD4A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a9cd49d7440f096eb4aebbb9ce950052af7d1e","datavalue":{"value":"eliminating universal quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422271$8AB7586E-65A3-4972-8183-BEACDA3AB59C","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":"Q5422271$4039377F-A543-4D12-86CD-D1F2910CD52A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812f09d3cb33ee5012e33af66457aad7f939208b","datavalue":{"value":{"entity-type":"item","numeric-id":5422272,"id":"Q5422272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252cf5676fd7e03e08fe7f4c2c328fa7f2048114","datavalue":{"value":{"amount":"+0.9513297080993652","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":"Q5422271$7EB4A135-E52F-43D0-9BCB-F1FD0F773927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d274a51052ea32371b928328171636460013321","datavalue":{"value":{"entity-type":"item","numeric-id":5449604,"id":"Q5449604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463cf55c08e52a016995e1c1f0a7d2d5ca501d1a","datavalue":{"value":{"amount":"+0.9300477504730223","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":"Q5422271$A7C6D0C3-556F-4B2B-9244-F1CECF9F2F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873729827c65d3029a90b22de03e42b7bee6bf06","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcef7a043537996a139d8b384e1a84f3ff9fc48","datavalue":{"value":{"amount":"+0.7512203454971313","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":"Q5422271$4F8388B4-376B-4617-8A02-E3A25CEB54F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b208806c19201d0d983cef3a0946eed1be7897eb","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86179c04bf4ee53f8a9c69e03adaffcb0bba3713","datavalue":{"value":{"amount":"+0.748777449131012","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":"Q5422271$E35525F7-9EDC-452C-8BD7-EC753039D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3045b9887bc954a7d959067d9de896ab7fabaff2","datavalue":{"value":{"entity-type":"item","numeric-id":5313184,"id":"Q5313184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f470a305a4853fa64d559c2d9bb6cf234ab88be","datavalue":{"value":{"amount":"+0.7427473068237305","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":"Q5422271$B07B38AA-894B-4521-9583-79D6CEFE2F83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5422271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5422271"}}}}}