{"entities":{"Q6541143":{"pageid":14152286,"ns":120,"title":"Item:Q6541143","lastrevid":57344736,"modified":"2026-03-30T14:10:14Z","type":"item","id":"Q6541143","labels":{"en":{"language":"en","value":"Non-classical logics in satisfiability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850736"}},"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":"Q6541143$6555F01F-CF93-4ADB-A2BC-753207047FAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f90d84132a26be2143113f2f34f2cad4109375bb","datavalue":{"value":{"text":"Non-classical logics in satisfiability modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541143$1A06C1A0-F3ED-48AD-991C-E60441261F89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e5397ba691c607aa71010e8e816208f28fd7518","datavalue":{"value":"10.1007/978-3-031-43513-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541143$26D01974-0B93-443B-A802-E99D9E55A5A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08673c4841d6060ebbdeedc84d503744f4f92fef","datavalue":{"value":{"entity-type":"item","numeric-id":6160562,"id":"Q6160562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$5FD7B13D-5E54-48A0-966F-3B2CDD2B473C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7e621443694e864c5d2b02a66d2cb525380f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5884934,"id":"Q5884934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$9F7C3234-8C5F-4526-8543-B2908F014B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c317a0c80aecdbeefe69f1f6cac115022f894c88","datavalue":{"value":{"entity-type":"item","numeric-id":6429156,"id":"Q6429156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$D97BEB35-6C3A-4AA4-BAA1-AD3D7A5565E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$5A6ABBDC-B71C-4D3F-9270-4DC2F292AD38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541143$7E46342B-A4CC-4A4C-BE02-7CE165A34707","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541143$28E4D795-3EFB-408D-AAFA-1BBED4E7A34E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4760654a31c565f1b324cc930d32869d19c010f4","datavalue":{"value":"7850736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541143$5ECC376E-DB17-42AF-B6FA-BF3ABDF11671","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541143$8BC40544-F021-49B5-B398-F8D84C16F527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541143$2ACE683A-3BCA-4B08-AAE7-79BC63D3C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca232c26c9ffece5e98bfda8dcef30b1982d6a0e","datavalue":{"value":"user-propagators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541143$E09D9943-9371-438C-8A5C-DA2B0B7F8124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541143$F24B92EB-DB19-4944-B0C6-1627AA0EA7AA","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":"Q6541143$07CD24BA-C5E7-4C05-A69C-886E1F0A89ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1540819114b992ea5b694171352b95117d5dd4b7","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$30CCB16F-725E-4F1D-BF22-53EDA01A595F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$D7746358-C192-4A35-8BF9-CC2464A688D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e831b6e4365c6f3542c2b1b71cef2e9d33fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":4553283,"id":"Q4553283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$5156C809-71C7-47A8-A672-599022BD8232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c09874f62ada20ad54ff655802b6cdd0604cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":3460091,"id":"Q3460091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$5F5268FF-8EA9-4CBC-9453-ED54071036ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48153b6d5926a41c5f52c9d0893cdca20e91d23f","datavalue":{"value":{"entity-type":"item","numeric-id":3365265,"id":"Q3365265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$E8E1268D-AA77-43D8-9F54-096E3C815A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caaa2f3c94c7e7d74275c670f6ae5dbd36e62bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$10458557-6415-4C5C-95D9-9820A4FBC6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$4EF6E029-5A41-4AA1-B6C1-320A6FA79BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$A96DEB74-2611-47AA-975E-715E337E7C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35c5e050c264caa0d28458d235e85a283af14e0","datavalue":{"value":{"entity-type":"item","numeric-id":6104769,"id":"Q6104769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$530BCCBC-13D5-4A48-B685-21FAFA9533BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f20088575107330940e1348ba332c37a9c576c","datavalue":{"value":{"entity-type":"item","numeric-id":4645724,"id":"Q4645724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$7F82DC80-E7D5-49ED-B9DB-26CC2524226F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa034d5f0cdac0fcb43890753eae375e96fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":2142066,"id":"Q2142066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$5B752C5A-2B0A-40A6-97B5-948656EA0D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0d78e8c62e910ba4a02ca034a04c1258ed73df","datavalue":{"value":{"entity-type":"item","numeric-id":3602955,"id":"Q3602955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$CFFB3066-BA90-40BA-9E7A-92E53AC8450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d08596f8f0726fe564215fde6dd8caf61109ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3192204,"id":"Q3192204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$EA17F0D9-F273-4CC0-AF08-059357E56784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9fcbe2bd8c05f306a52c7802c76b3cdda4d610","datavalue":{"value":{"entity-type":"item","numeric-id":5200031,"id":"Q5200031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$0C71A445-CC4A-4E13-B3F3-DFD617F3DF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce756cff5325e84ef31a6f28e3264cf9abbc9358","datavalue":{"value":{"entity-type":"item","numeric-id":4938424,"id":"Q4938424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$F692BEC6-AF82-4F1A-92EF-387A22497278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623e241b0800c3ebf5491210d4bf914a71f35dfd","datavalue":{"value":{"entity-type":"item","numeric-id":5898545,"id":"Q5898545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$F63B5CDB-7269-475F-9FFD-3CC4DCC5B906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e685f4dc0520de6dedf71054570fa4ef9351bb4","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$D36F18C7-900D-473C-8439-229614D85688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c403e013d969090517dd8bb47a52166677d4c","datavalue":{"value":{"entity-type":"item","numeric-id":2104538,"id":"Q2104538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$D82883B7-34F3-41A2-8CEC-B934FFA87493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c0b67b26953c51ed06d8bcf68eda9998162111","datavalue":{"value":{"entity-type":"item","numeric-id":5277784,"id":"Q5277784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$1BFCB918-E66C-440B-9F80-3EC953CBB6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b385c901a200446b8691fd35827a899de6631d81","datavalue":{"value":{"entity-type":"item","numeric-id":3524999,"id":"Q3524999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$788C1FE2-7CB8-44BA-B224-FC6B8506E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$A20F9273-EC5F-4D80-835F-85A59AF76175","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541143$908A7286-DA60-481C-8313-3799F8A8C8D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541143"}}}}}