{"entities":{"Q1924728":{"pageid":1935470,"ns":120,"title":"Item:Q1924728","lastrevid":46404327,"modified":"2025-12-24T17:30:31Z","type":"item","id":"Q1924728","labels":{"en":{"language":"en","value":"Static semantics for normal and disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937234"}},"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":"Q1924728$BF1F5554-F77F-4B3B-B5B4-3D286729962C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8912fcd7c7784a1282d742d1d46a988b8ec630e7","datavalue":{"value":{"text":"Static semantics for normal and disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924728$3BF40F4F-FBBE-4F4A-BDCE-FBF24B6959E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c071076af3b9d8b0bc55d42c9cda438ba02743b3","datavalue":{"value":"0855.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924728$EF3E388D-DC2D-42CC-91CB-8E1327C32825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18900a744d6b6126c5d054c037a562195fa09990","datavalue":{"value":"10.1007/BF01530826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924728$60561567-2387-4B37-BA8B-38AEA2423196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$7B23B23D-71CC-445E-9818-A199A089E74C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$57CF79AF-6E27-481E-89BE-8DC695146DAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0be8ff382edb32f3da22feee8dc070930911f718","datavalue":{"value":{"time":"+1997-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924728$5BE02C92-D0A8-4EE7-BADB-8A9B4B707C85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924728$A85466F3-60B2-45F6-AD19-1160214CD47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924728$ADF7970D-E6C7-4FA9-BDBB-DFC691EE3D23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7be5b747c5c60e4706e1345f07a5fcc0e4b9e3da","datavalue":{"value":"937234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924728$74051BA6-CEAD-4BE3-AF64-690A3B1CCFC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924728$C6F29622-782D-464A-8B64-D999493E4FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235b3c1d0baac0a7503ab1ccd18f63fe3be04255","datavalue":{"value":"static expansions of disjunctive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924728$C996611A-7BC0-4E8F-AD71-69B7C62539AD","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":"Q1924728$844587DF-2D5E-4818-8201-85AF5F423E16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5db98d50e7848e56e2ac32e3f38b7546294ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":4332412,"id":"Q4332412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$CAA63BB4-FAD7-4FFB-9195-1276B7FE0539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50664e9afd488126bb2d68ee9b0a92e9754999e0","datavalue":{"value":{"entity-type":"item","numeric-id":1354026,"id":"Q1354026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$05B6E124-B395-4592-AD70-0F8749605C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$DEAF15AC-27E6-46CB-8476-4D3F31EB11C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634f33c6989edf6f6984b6e2aab501586edeb607","datavalue":{"value":{"entity-type":"item","numeric-id":2638811,"id":"Q2638811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$6C96B66D-5B72-4B3E-86D8-3D7696E80982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$DE07E62C-E7E8-4F48-9909-97CC1C4FE683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$5CDF782F-7411-4955-8D0D-EF6FA5EA01A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$981DD213-227F-4F8D-8D10-624325562CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7647706d1d4f4070fc7c7c864cd4eec80443b1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4244297,"id":"Q4244297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$97E1F4AA-84D4-41DD-AAA5-40180DABC4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb678fcfbbb428f6b5621e5f89f6a8cb37d8f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$32F5CD5B-3A66-459C-9DD4-126DFB3F0664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0cbfeef219fcebbe0c8eacaf91dcb52b7f09b6","datavalue":{"value":{"entity-type":"item","numeric-id":1389599,"id":"Q1389599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$8838410E-FBC8-41C8-B684-D0F0BD46472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bb65f0de480cfea02f1c49a74bdb628fca2112","datavalue":{"value":{"entity-type":"item","numeric-id":1825049,"id":"Q1825049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$B8B4BD62-9792-4A4D-BF92-A8FC8F238370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75fa1aa534ac66ed4ad81bcb1cc66f1148035e6","datavalue":{"value":{"entity-type":"item","numeric-id":1114440,"id":"Q1114440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$7D842120-91B7-4D4F-9D32-06F84B6F29A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4398c26783e439e6e945ebf6ab55ce9cf687034f","datavalue":{"value":{"entity-type":"item","numeric-id":3821633,"id":"Q3821633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$B6E1F52F-14F9-401F-89BF-28821A6F8A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$FD14A89D-E49F-413A-82B8-885CC23745B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7890edd5aa96546667ca93a6be6975fb87f3a5","datavalue":{"value":{"entity-type":"item","numeric-id":1311407,"id":"Q1311407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924728$6D6EF31A-7E26-45C9-828E-9E9A49039B63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"014184929d7cd00ab9f66267ef632b52032e6109","datavalue":{"value":"https://doi.org/10.1007/bf01530826","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924728$EB5B8CB6-19FA-4FA5-85F4-1045AFFAF570","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7be7a9ca71a8b3d65e8957e147dce7aa16e9bca3","datavalue":{"value":"W2028245171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924728$C64E56AD-898D-44B4-BADB-599B8D6301AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c632fc368e85b7a8ba3c9ec96a03b0babf7dc0a","datavalue":{"value":{"entity-type":"item","numeric-id":5941206,"id":"Q5941206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50dd3b234a201019e92a7148900e67f6eca8faa","datavalue":{"value":{"amount":"+0.8759369850158691","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":"Q1924728$4DB114A1-217E-44E7-A611-F01FE88223AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7662bf62316859e1e110290de01a1895fbcee798","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd3612d5c9755be842042c5fa0f49ecb998ba83","datavalue":{"value":{"amount":"+0.8501147031784058","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":"Q1924728$898C3535-0B45-4689-9FBA-2721CB52FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4fb17fed1f57fa7d8432f42bf8d53a43188ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4700442,"id":"Q4700442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e358890a63e8c8dd2852dea68ad01c72a3b75b","datavalue":{"value":{"amount":"+0.8260658979415894","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":"Q1924728$A06802B0-E8C1-46F8-AA13-85C2EF27C3C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924728"}}}}}