{"entities":{"Q4352541":{"pageid":6382140,"ns":120,"title":"Item:Q4352541","lastrevid":46950009,"modified":"2025-12-25T22:12:07Z","type":"item","id":"Q4352541","labels":{"en":{"language":"en","value":"Model generation and state generation for disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1057486"}},"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":"Q4352541$B1D59ED2-922A-4254-B477-7BDC1A9AE7EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf93b8f8cd66dc287ce2f7fffef58221ed461563","datavalue":{"value":{"text":"Model generation and state generation for disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4352541$664A4787-E0AE-47BF-B934-16115B0F82C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9c83f2ad2290bb0d213b769011c67717d2d4d61","datavalue":{"value":"0882.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352541$DF656963-BA95-491C-B0C9-758093257442","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"611ed605c77b3eec22ce6b4257b6c0bac2a3de96","datavalue":{"value":"10.1016/S0743-1066(96)00116-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352541$D338EA3E-DB0E-4DA0-902B-75454B75E5B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6591bed938321075933800ded0af0968d6532c12","datavalue":{"value":{"entity-type":"item","numeric-id":2349824,"id":"Q2349824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352541$5E57EE05-4A65-42CE-993B-4825731DFD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352541$9D8DA172-6016-4FEC-A38B-29565EECFF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c798f39902b96eb6f7f9537bca7d15c2df2b3a8","datavalue":{"value":{"entity-type":"item","numeric-id":1267776,"id":"Q1267776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352541$D23C685F-D25A-41D1-9744-7ECAC25EC7B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352541$12AB291D-E3F4-420C-BD7C-DFF0C165D3E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28b9596eafbe4f7af330e206cbe61b9813bd2dea","datavalue":{"value":{"time":"+1997-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4352541$2A721AB3-D8C0-428F-BAE7-C84F0FCFBA10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352541$76C348D8-00B3-430F-A800-F4DE0AC389AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6d4015d00883e7e4267c73a242f758eea8882b5","datavalue":{"value":"1057486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352541$86770BE7-F3E5-4D69-B1D1-3651370EC533","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4352541$9326BB1B-C930-4952-A8DC-AB90F0CE1C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76230e0139444534385e0b2ccf8aab59c711f6f3","datavalue":{"value":"perfect model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4352541$8AEC3ED1-3335-42FC-94DE-41180EA92642","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4352541$87A13665-8A21-48AD-8A39-2213378D78E5","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":"Q4352541$8D508034-6786-4606-A5F0-C3652B37CFB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0386b785c3abdb598fe7e48d398d4622b65efca9","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(96)00116-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4352541$907C7637-5F61-4DA9-93FD-6AFE1484B264","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c771e3eaa1683b28ca95adcbf342b10ceedef08","datavalue":{"value":"W2059855028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4352541$67A5719C-FDA0-4C68-B8FC-4DA6454A1A60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ebacd6b98ced5bc618fb55ec3ece4eedeca5a4","datavalue":{"value":{"entity-type":"item","numeric-id":672131,"id":"Q672131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4b3b5c7c3f10fd64676a8c68eb982cd4d30ca4","datavalue":{"value":{"amount":"+0.7756691575050354","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":"Q4352541$5C034407-3211-41CA-A67E-0E6E4E06C7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4f95112a338be312bc804e1e5a91c47301cdd9","datavalue":{"value":{"amount":"+0.7727648019790649","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":"Q4352541$C5DC527B-2CD8-4E77-9820-ADDA417D6029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de26eeead228d0ebc3b477ab153036975a5e281c","datavalue":{"value":{"entity-type":"item","numeric-id":1356225,"id":"Q1356225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af221c3c08ced3cd33a98a49b0d96dbf5036f7ef","datavalue":{"value":{"amount":"+0.7642051577568054","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":"Q4352541$C86E6028-202D-40A2-9E04-7CA233196B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4255ab9600353933b8c4a8ef21191ec0f359b208","datavalue":{"value":{"entity-type":"item","numeric-id":1389092,"id":"Q1389092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3791775256f541e77c9e7bcb81fd54b11a7ed31a","datavalue":{"value":{"amount":"+0.7571334838867188","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":"Q4352541$3E048DAB-0B30-45B8-8B89-024D20A90A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369a78535000a743dca429cb695491eda641415","datavalue":{"value":{"entity-type":"item","numeric-id":3128528,"id":"Q3128528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930cbbfd28bbc8e41f2bb0e35ba8685d436bbcd7","datavalue":{"value":{"amount":"+0.7552093863487244","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":"Q4352541$D91B79B4-3785-4061-A6B8-C68AD5802C13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4352541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4352541"}}}}}