{"entities":{"Q1208418":{"pageid":1219167,"ns":120,"title":"Item:Q1208418","lastrevid":67060233,"modified":"2026-04-12T14:41:52Z","type":"item","id":"Q1208418","labels":{"en":{"language":"en","value":"Graph properties for normal logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166429"}},"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":"Q1208418$EDCF3554-2D17-4EFC-8816-77C9D9D44AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d8fa9be77c6d32033feafbbca6698328a20a3e7","datavalue":{"value":{"text":"Graph properties for normal logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208418$18A4109B-A94D-4C4B-966A-F870C0CF4A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1049db0c4178c181538ca2373c4b1f0e5562316","datavalue":{"value":"0768.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208418$D8071A6C-3106-4AC4-A1A4-33D882BC32EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4bb49cf182c914d563a2d8e12c5f971c3537fcd","datavalue":{"value":"10.1016/0304-3975(93)90172-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208418$60D4891C-91B8-4F16-BA6C-DE54A13D39ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$DC62424A-71D2-4C89-BBD5-68BC4C614027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33eb5c8b0f3c3997961a1ddf125cc072182be129","datavalue":{"value":{"entity-type":"item","numeric-id":584933,"id":"Q584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$26D75823-C74F-4E67-A84A-B78E37B59FFB","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":"Q1208418$4DF27468-599A-47F9-9C22-8C8113EA7404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208418$E4D485C4-0129-49BB-9ED7-C663159CEDF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208418$2716A665-7C49-48DB-919D-75BCEDFC1FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208418$F7CE2207-61A8-4A30-9B07-4A55FFBC6E0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db7c6be0c97e61ce4c0d6cde09a45e098add4c69","datavalue":{"value":"166429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208418$1A9310DB-2B3D-4D89-B2B0-DBF8288841FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90cee9fd01e4d52e97dfa03cc5edc822f7d84920","datavalue":{"value":"normal logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208418$64A19DFF-E800-45FA-93B5-35D51437028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208418$F3FF45DC-942F-4666-B318-7B1659753CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208418$085D8B1A-B697-49D6-8846-6BEBFF0CD17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208418$67657AED-7D01-4FEB-AA99-81600E4D7848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62acf396a6b5ae550e9a98e101e6e1fc80c3af33","datavalue":{"value":"consistent completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208418$88B94CC3-DE06-41B6-9738-4E34D114FB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee084bc4e9bb08d6a3253df431b4abfe311ac903","datavalue":{"value":"Herbrand basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208418$792CA33E-BDB4-4155-8E20-D5ACA760F2F1","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":"Q1208418$7FF8030E-F92F-42FF-A17D-CB8D1F325C47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$7561FCAB-FAB7-44B5-9BE9-E01DE8FC5215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af916081fff2170a7046b3d1926c0b32d663297","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$483E401E-83A8-40D8-AEC3-B913534D2AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$55D73434-9205-4FDF-BE5D-0D85D13ED7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c56da2d4c2d597d652dc4f6b3bd916c92d7d841","datavalue":{"value":{"entity-type":"item","numeric-id":1094151,"id":"Q1094151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$C65EA5ED-23C1-4C56-95DE-4CC2BD5307F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$CF9E9324-AFA8-4176-BEA4-93A96BA4E4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$54C5BC39-B5AE-464B-961A-252F7A7355CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$A21EC4BC-0252-4304-B543-AEA62EE1D2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc7ce782192afebee533fd99280edb83d8498c1","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$F74B3141-0A7F-45A6-9738-2DAF8B02AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8166349a97bdd65a3d266da8a53b328b2cf60d6","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$A8EFE965-CE1E-415F-8A77-8787703A75BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208418$F6E85264-8981-443F-A4F2-9303E87A317C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"020062a04fff217e70f383d8504732e9d3947c3a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90172-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208418$A516F539-5522-481C-A15B-5295BA34B0E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4766db47c2bd76eb7f6a513612a8131e531e83a6","datavalue":{"value":"W2072224912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208418$D150726B-8250-4463-9337-77B3A484E62D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f493728d7679715b42970806023897dd5507208","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2df0276083804f010180b98fa508b0d396d6f34","datavalue":{"value":{"amount":"+0.8715693354606628","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":"Q1208418$903FD419-EDE2-4764-94C8-5A8A0A96D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336144dabaf1aa9aaa46cb5c6a43c772783481ca","datavalue":{"value":{"entity-type":"item","numeric-id":3200532,"id":"Q3200532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70962fc9d5f6f11c4cd5be7a63954f355f9bc469","datavalue":{"value":{"amount":"+0.8062902688980103","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":"Q1208418$CE457E8D-C250-4395-9FD8-91BA58E48F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1e271ceb03894d4c627fb1caa1310a25b7f3c9","datavalue":{"value":{"amount":"+0.7957555055618286","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":"Q1208418$D1170AE0-D93D-4E59-A1BB-BED854DB4FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1e271ceb03894d4c627fb1caa1310a25b7f3c9","datavalue":{"value":{"amount":"+0.7957555055618286","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":"Q1208418$B4406668-2D1C-4666-9D4E-13C207C9879D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a68ef1804f2d2c624b23f624627032b9a5c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":4878771,"id":"Q4878771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16bd661e4b4f9b91f24af3bcb1cb68b0679a1c3","datavalue":{"value":{"amount":"+0.7946344614028931","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":"Q1208418$B6616664-A177-4857-97AC-4C0BB00CF6C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graph properties for normal logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graph_properties_for_normal_logic_programs"}}}}}