{"entities":{"Q5460207":{"pageid":7489766,"ns":120,"title":"Item:Q5460207","lastrevid":50349005,"modified":"2026-01-13T21:09:48Z","type":"item","id":"Q5460207","labels":{"en":{"language":"en","value":"Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5270773"}},"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":"Q5460207$328EB906-24CE-4B08-8917-E0BA895E05A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"418602556f1f26f64797e65353ea166535ce2a6c","datavalue":{"value":{"text":"Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5460207$A5697F1E-DB0A-407F-8270-BA2EF5893BB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5648d129bac9e03c3c128beeb70da233bf930b1","datavalue":{"value":"1134.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$090106A2-DAAC-4881-8698-8E17F41E50CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460207$5A819C96-E047-4C21-B544-2A35236A9E3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5460207$B48A1FEE-687F-4FAB-852F-A5E13E2D1A61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$FCED8ABA-B687-4D59-83E9-65CF7F4C6CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$21FAD0C9-D835-4C61-AACB-167D0D8580E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$5017C850-F832-4DA4-A0A4-2360700A192D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$AAE59E07-653D-43FA-8A09-9BB9D0951EAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2c5979a75fd14e5cceaed1eefdb3647a2c1a42b","datavalue":{"value":"5270773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$61791EDD-AA96-4DE8-B19D-437A569DB83F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460207$8722BDB0-7AFB-4D2B-9A1A-F188983CFEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460207$4E8A4C41-5D10-4C0F-8718-47BFC82640F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147733faa695fed81c2d875b84ade06f21bacdc","datavalue":{"value":"model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460207$A7FD8AE9-877C-4F45-ADD7-27077D037EDF","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":"Q5460207$0629BD43-4595-49CF-BCC3-ED6FF4CDC8AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7cae028dd950dcbd3a60a3b71dbb9efaff56048","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm059","type":"string"},"datatype":"url"},"type":"statement","id":"Q5460207$9F2543AA-C2D0-42B5-BF0E-89C000CE6579","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d212e2ce6eb2bd33b54ba5c931c16cd330715833","datavalue":{"value":"W1991261216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$4C2D2025-0C97-4D62-B3EB-F2BB6E2567E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fb35a16a8b540e781f0711a4e6875d64e580bb9","datavalue":{"value":"10.1093/JIGPAL/JZM059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460207$5AEE3724-1CF2-4F9C-AA51-54208741B0D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460207$D9C60376-C705-4691-A776-9115F48FC1DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c78600257c09b730c57c0dcc9633e361c705f4","datavalue":{"value":{"entity-type":"item","numeric-id":4500376,"id":"Q4500376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd34b39c8a3456d628445b04cbdc2787521324f0","datavalue":{"value":{"amount":"+0.7905750870704651","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":"Q5460207$DAFD4BC4-35D4-4E03-A5DD-CF309DCCE2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f689c83704e49e62803cb94e676cf2d9254dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4430396,"id":"Q4430396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd34b39c8a3456d628445b04cbdc2787521324f0","datavalue":{"value":{"amount":"+0.7905750870704651","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":"Q5460207$75CDA262-B038-4F55-A030-3DDA083DFC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35c46a0da9a3611bfb718196ba9252ff3762cff","datavalue":{"value":{"entity-type":"item","numeric-id":4529491,"id":"Q4529491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8807807958bb7aab2b3af2a418373955b28ec2cb","datavalue":{"value":{"amount":"+0.7789543867111206","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":"Q5460207$D8B9C87F-E121-46C9-BBF7-93E7274071E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0907db0d905b6c81387ba2c300e96a439cf2b05","datavalue":{"value":{"entity-type":"item","numeric-id":3351355,"id":"Q3351355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a597a6d0a4be5a8901c4383545fb4c1463d570","datavalue":{"value":{"amount":"+0.777099072933197","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":"Q5460207$94C75CB2-8754-42ED-AE6C-90D69FBC8C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39d1c60387675310043ecb6d9e77a061ca4ef01","datavalue":{"value":{"entity-type":"item","numeric-id":2503328,"id":"Q2503328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da6ae1b27bd8799abcb60a60a7801907c64ea8e","datavalue":{"value":{"amount":"+0.7458987832069397","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":"Q5460207$F692AFBB-5ED3-4D1F-AEF8-606E5D628AFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5460207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5460207"}}}}}