{"entities":{"Q5277803":{"pageid":7307378,"ns":120,"title":"Item:Q5277803","lastrevid":52850684,"modified":"2026-01-23T15:42:33Z","type":"item","id":"Q5277803","labels":{"en":{"language":"en","value":"A logic of nonmonotone inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744054"}},"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":"Q5277803$C5FD11E2-3ABC-4A0A-928F-9DE7535FC2F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df88a986e7c5c46cf54411b6360f1c8ab5c896a6","datavalue":{"value":{"text":"A logic of nonmonotone inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277803$7E82E406-1680-4D3F-96D3-437F245189CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38030d5a6ecbffb04b26572a50251e2c8e36a24c","datavalue":{"value":"1367.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$485879A2-CC08-4A5E-99E7-37C8A0842EEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ae9bd4599418e813594ca643bfebfc72bd07c8a","datavalue":{"value":"10.1145/1342991.1342998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$8330B581-AEDD-443E-B45F-96647D04E040","rank":"normal"}],"P16":[{"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":"Q5277803$0A92AC4B-573C-4942-A493-E194E14199BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24e273098559b35c228b72d1896171339ac3ebf","datavalue":{"value":{"entity-type":"item","numeric-id":941819,"id":"Q941819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277803$E9AEE9C5-61C2-4341-9F83-190E2D977B07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277803$786B62E5-15AD-4A47-864A-1BF6D53574D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277803$46A15051-43A2-4E7E-BCD6-16032A7FC6FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2255bfe55cc0d55f3163471eafba0a396e946e56","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/222628","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277803$6D3D5A93-2CCA-4805-82A5-80CD558243BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$3EFCBA6D-4C47-435E-99CB-2719E31A69E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$1848B70B-FA34-47AA-8FE7-92B29C8CD4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$0E1C2D4E-1DB5-4AF4-BC5E-DB94978D5AA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1fef9fc100e125f4f1f059f388727a92ea500df","datavalue":{"value":"6744054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$BD5B7544-0A24-45E3-B898-3DB3CB1F214E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277803$E18D4E42-F4D3-48EC-91D8-66C5DE2C34BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277803$DF7C3E43-8F19-4ED8-8EBB-1AF0B4AF9DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277803$FDFF3CAE-AF5F-4798-A6FD-5B8201E3C735","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":"Q5277803$258A4AD3-AD2D-4427-8856-A2D618BA80B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ff121337464af76e6a2b90842044b49193770f8","datavalue":{"value":"W2042629502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$564DC68E-8A19-47D0-8802-AC76DC1FB8BC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"65aa9a9086687fa315548c20732b7e1f7fad33e0","datavalue":{"value":"Q130870011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277803$EF0BC503-DEE8-4C74-A49F-280134A041EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6905217d795f5b01a9a3e75a8c73f2d110faa4","datavalue":{"value":{"entity-type":"item","numeric-id":5424863,"id":"Q5424863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1944fb18b43ac4f0e1e9585745fbaa74de098f6d","datavalue":{"value":{"amount":"+0.9142558574676514","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":"Q5277803$F9362F7F-8185-4663-93AC-36DC362722A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b73ef8cac02d7652c7c288e3b18f658cf94d4f0","datavalue":{"value":{"entity-type":"item","numeric-id":2767097,"id":"Q2767097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e950fa3f045079c79bccbf7d7fd909b2434454e","datavalue":{"value":{"amount":"+0.802944540977478","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":"Q5277803$2D9D627A-D567-4228-9EDC-DC3495F843CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4648db1eea38fdab98e822b7e38226cabc1f71","datavalue":{"value":{"entity-type":"item","numeric-id":1028914,"id":"Q1028914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8878fadf14d43f2696f3c1170905150515655554","datavalue":{"value":{"amount":"+0.7941080927848816","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":"Q5277803$1041FE23-3D43-49FB-8DE3-9F2193E62CBC","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":"4653c5b0a2eee481975be4a6ab4a12dc177f5b9c","datavalue":{"value":{"amount":"+0.7935940623283386","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":"Q5277803$4553C7F0-A378-4B37-8B5A-48842E31ACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bef6520b480e602755fab8544336dea599bba3","datavalue":{"value":{"entity-type":"item","numeric-id":4246955,"id":"Q4246955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6a443ab9837510d5512e5b54cc2e5534bb22e9","datavalue":{"value":{"amount":"+0.7687339186668396","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":"Q5277803$F09B9738-EB4C-42A4-9F78-2B7B42F321BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277803"}}}}}