{"entities":{"Q4247692":{"pageid":6277293,"ns":120,"title":"Item:Q4247692","lastrevid":46832127,"modified":"2025-12-25T16:42:05Z","type":"item","id":"Q4247692","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302390"}},"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":"Q4247692$31CB18CC-5350-4DFB-AF93-FAEE761F7F42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b92725cdda33ba2371ce9f301c56965fd5ad844","datavalue":{"value":"0927.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247692$C5AA4991-8627-461A-A20D-4EDFAEFBA9F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247692$0FF7CE7B-E093-4D55-A233-DC732437544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c739d3ea0f609cefa3c6f88838b460e5722479af","datavalue":{"value":{"entity-type":"item","numeric-id":1373301,"id":"Q1373301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247692$A64D1041-01E0-42C5-929A-EC12B3BD70BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-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":"Q4247692$E70FC18F-27AE-49E7-8C8A-A5B6801BE28B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247692$C13589A1-6598-49D4-B702-593599D2C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247692$737BD056-1FC4-4717-A81A-12F351A572CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb5042c9f5d2e1fcff23544db1df5d45086bd612","datavalue":{"value":"1302390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247692$C355B424-5377-4CA4-8386-FCCAFA4043E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4b1bf6fd754a4232c3b07a418ee7dc58192cce","datavalue":{"value":"SAT-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247692$4928C93E-D0EE-4399-B64F-B4A979671B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247692$005B64C9-2E6D-47FB-9EE1-C30E0EF11473","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":"Q4247692$EF46C1D3-65D9-4DD9-B1DD-A672EDDB5EEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dd60e57dfc1f26dac213ff2121d626f4d8d30f","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4fe08fcf42aac4f98f31eb86c320cbbeb2630a","datavalue":{"value":{"amount":"+0.8256755471229553","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":"Q4247692$526FEC14-3872-4345-8522-940CE598A5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb946d1bb935cb12b16909ed1086ea7e41d7990","datavalue":{"value":{"amount":"+0.8158940076828003","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":"Q4247692$7F4FA81C-C1FB-4C73-ABF3-FE21A7290C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4fe8f73ff191de4c3ed94d8eece7306d7ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa0a786de076189608a5f86ece11ec0561fd6dd","datavalue":{"value":{"amount":"+0.8120529651641846","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":"Q4247692$B8D6011C-A1DB-435F-A682-0750DC6C0062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5f321bce2072a037de1a81b4790f837eedb037","datavalue":{"value":{"entity-type":"item","numeric-id":4518914,"id":"Q4518914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041c31de5f72c2b287c37315cdf680a22d7b41ff","datavalue":{"value":{"amount":"+0.8077860474586487","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":"Q4247692$CC322C28-472B-4EDD-85EE-E8C731FF1A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9777691384a37ebb734d81a224bd3d1efd77779e","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6395694fcfc01a4a63ac4bcd7de22d5a2d83c356","datavalue":{"value":{"amount":"+0.8072587251663208","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":"Q4247692$AB70B04E-8AB1-48F5-81E2-D9997D2C268D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247692"}}}}}