{"entities":{"Q5202983":{"pageid":7232554,"ns":120,"title":"Item:Q5202983","lastrevid":49491427,"modified":"2026-01-07T07:17:15Z","type":"item","id":"Q5202983","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197948"}},"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":"Q5202983$DADAC55B-1AAD-45B4-8612-FE9FD3C01239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe6ba65ac1ec510a9d2e75c55e73bb8df0c3b860","datavalue":{"value":"0726.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202983$9C63A996-1BDC-4259-BAE4-C02A12985069","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5202983$40B43574-1E3F-43D6-B215-470103E0478E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202983$6219EA83-4845-4ADC-BC9A-31A2BB2BA3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202983$5511573F-4D59-444E-9421-03B66A0CE234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202983$2E29A862-10D2-4CC2-8C03-340584A99195","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a55b0140c200416ec1a37d9324253bbf1432b5","datavalue":{"value":"4197948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202983$F0092804-B016-48A7-9D39-6E9AB7B5F80A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2882e4ae1f715eca581c64edc891bd95022bacd","datavalue":{"value":"language of propositional logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202983$81A61BAB-091A-4FA4-9CE6-C5E33DA540E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202983$B3139B05-3787-49F4-8959-7EF7B21793C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d980b81242473780d4623894c9e373ca5f92e8e5","datavalue":{"value":{"entity-type":"item","numeric-id":1170214,"id":"Q1170214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202983$88BE9CD2-5ADC-4AAE-B197-67BB22003DC7","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":"Q5202983$ABAE4A00-7844-49F1-ACD5-C6F5B1CB784C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f023a2e0d82622a4ef785b7fdbf2a2c57db9b1","datavalue":{"value":{"entity-type":"item","numeric-id":4015484,"id":"Q4015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ced9ae10dd34c4a7340f6d34988de554092b13f","datavalue":{"value":{"amount":"+0.80719393491745","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":"Q5202983$6022862B-CA8E-411E-BFC3-A3830E5A8173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373beb0eb7a8eef5ae2371bbc9a0eedb604d255c","datavalue":{"value":{"entity-type":"item","numeric-id":4268418,"id":"Q4268418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae95200814202c527055a6cf51ba370ffb55cb5","datavalue":{"value":{"amount":"+0.8067074418067932","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":"Q5202983$848CFB46-AFA3-493C-99B5-C7DD4045D782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb8ccb2db025cd5f95d6bdad251ea8197ea203b","datavalue":{"value":{"entity-type":"item","numeric-id":3804231,"id":"Q3804231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae95200814202c527055a6cf51ba370ffb55cb5","datavalue":{"value":{"amount":"+0.8067074418067932","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":"Q5202983$AFB09615-3C4F-4AB5-A7C4-3E35352F0B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0691e01ad153cc50160b83f2423447a30f0d6508","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61526e7ccda6ac79527ab24418d1c67db25d9666","datavalue":{"value":{"amount":"+0.8004879355430603","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":"Q5202983$BBD81EB6-2608-43A1-A47B-6C9D7D5DDA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61526e7ccda6ac79527ab24418d1c67db25d9666","datavalue":{"value":{"amount":"+0.8004879355430603","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":"Q5202983$5A8BC7F5-5002-41AE-9E81-8D6E3DFD1DB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202983"}}}}}