{"entities":{"Q6599622":{"pageid":14210779,"ns":120,"title":"Item:Q6599622","lastrevid":55745185,"modified":"2026-02-17T22:04:24Z","type":"item","id":"Q6599622","labels":{"en":{"language":"en","value":"A reasoning system for satisfiability of diagrammatic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7908135"}},"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":"Q6599622$1E16EC7C-7C89-45D6-A978-573BE7B61538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"571ff4e2efbb14b3f18e7a86a793692b2d354cc4","datavalue":{"value":{"text":"A reasoning system for satisfiability of diagrammatic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6599622$F372656A-ADFC-437B-BF53-58532F430247","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c774fa95dc54938809f7f9c7a5ae18980778186a","datavalue":{"value":"1544.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599622$A765CB29-5591-4542-BD47-C58DB34C3D25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"920cad827a45c10a5540ba04d153ed66b6957185","datavalue":{"value":"10.1007/978-3-319-97879-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599622$2BE8B111-D127-4B66-932A-7F9D6B720082","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1778038bf09d3c63e6aa1b5c3da1793d1e91b5d","datavalue":{"value":{"entity-type":"item","numeric-id":444493,"id":"Q444493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$8A3C9E6D-EE05-4E02-BF0C-D18D77AEBB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a3a19e5951e9c43e667436e7cc0790d99ea306","datavalue":{"value":{"entity-type":"item","numeric-id":227766,"id":"Q227766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$4284A578-E28C-4795-BF9C-3DB93FED28C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b4fed82336f4fd3de28daa42f3cd971eb88d0d","datavalue":{"value":{"time":"+2024-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6599622$F5F2C0EA-AED1-4A66-B541-E96C7470D9B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599622$A6D70170-593E-4DB5-8129-9D0609D45BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599622$2B63B96D-758C-4DB7-91AB-31F7E5DA06C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d34be3120b124a54ee13561406b8be6909eb56fb","datavalue":{"value":"7908135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599622$02409413-9AE8-4356-B912-8E65ACE69F8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266b08fadd24ecfe0a65645b1735d31b39087e06","datavalue":{"value":"diagrammatic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599622$FEE50627-0EB5-4740-87D9-7A26A5FCE1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4483725b588884ca36e6cb76448708255fc8b43a","datavalue":{"value":"reasoning system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599622$52DF77C2-BF30-493E-A828-06E11EA12690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd7a9f3a2e418ce9443c75273677ccb852ef76c","datavalue":{"value":"dual tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599622$CA01DE64-98B1-4592-BD46-103BEDE24549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b2526e0a0b1295a7425935e3a841f025559607","datavalue":{"value":"diagrammatic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599622$9152B806-7DF7-401B-9043-423BE4B1501D","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":"Q6599622$0BBE515F-8A5D-4260-90E2-53A65E07B651","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2a357531552139792e783fb9476b61ce0c4478","datavalue":{"value":{"entity-type":"item","numeric-id":5954708,"id":"Q5954708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$15608BD4-49E5-4BBE-83C2-17B1D3332CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea76f1e0cbd92bad70f9795abbf8ca906ba5bee2","datavalue":{"value":{"entity-type":"item","numeric-id":4435842,"id":"Q4435842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$F324914F-01E2-4A2E-B8E0-659A9A098C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$B43BC1F9-CFEB-46F7-8904-627D0BEA9C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7d0417b24382a9adfd59f554ecd0166c93d353","datavalue":{"value":{"entity-type":"item","numeric-id":2864376,"id":"Q2864376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$21FB4DF4-6977-409F-B010-FBB8B3228FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$F05D986C-327E-483A-B476-E95BE592C030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccbf1741775ab07628b2f40037c997de78c7547","datavalue":{"value":{"entity-type":"item","numeric-id":1806174,"id":"Q1806174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$202C94A2-008B-4F7B-BF10-4ED8158E8115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b65a347be4b10989246be82a1bf865179bce3d","datavalue":{"value":{"entity-type":"item","numeric-id":3192220,"id":"Q3192220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$7DA17FB1-60DB-4DE0-B9D4-0E90D4EAF67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754f3c02e14a684d5b3778c5d315997404180676","datavalue":{"value":{"entity-type":"item","numeric-id":2369014,"id":"Q2369014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$5C427ADC-6F67-485F-B8F3-77D3DD7814B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed8f922ea615a7ab081eabc8d834a22a4abeaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4357322,"id":"Q4357322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$197882F2-BAE2-4ED9-BEEC-10F0F4C14389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7908dae117fbede8304b37d2b791a436b0fb8eed","datavalue":{"value":{"entity-type":"item","numeric-id":4212926,"id":"Q4212926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$4F3D661F-5149-430A-8437-8A0CF0713254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daef79c06fbe446f21a2d085ba060f797ce3c055","datavalue":{"value":{"entity-type":"item","numeric-id":4500375,"id":"Q4500375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$C619739B-B7D1-4845-833D-9C26E383D8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ed030f9f4658726b2e4252748ae39fa9b0ac92","datavalue":{"value":{"entity-type":"item","numeric-id":1850953,"id":"Q1850953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$A5FFA742-C50F-4C48-ABFE-71141BF518DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec2875683f9ab10258f511c5abdb091184bd6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3431974,"id":"Q3431974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$9759EE09-740D-43B0-8B3E-E5FD93747E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6116305b1dd9a179388d6b1c1c65dc4d515e48bd","datavalue":{"value":{"entity-type":"item","numeric-id":674480,"id":"Q674480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$DEED7A96-E6E5-4F96-94B8-99827A0B2194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485b2ca58fe443a242e28d1ff7d495fdee437cdc","datavalue":{"value":{"entity-type":"item","numeric-id":631573,"id":"Q631573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$07351171-2160-45D6-AD7F-281CAC1D48AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe18adc126b2f510716f2c14c843e80ccb066eea","datavalue":{"value":{"entity-type":"item","numeric-id":973044,"id":"Q973044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$C0DCF595-C13E-45FB-881C-25E19CD541D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d60b044b1850ce2096965e6773060dbf47e3c64","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$E6FD7FB1-8C1B-4753-B4AE-D9227E661F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70901f0d8ad6fea18ef93963dff3fd5dc55331cc","datavalue":{"value":{"entity-type":"item","numeric-id":5688805,"id":"Q5688805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$0B593711-E790-40F9-BD7F-F346967379C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607a0c758c7f5182c8338488f4a03318f251f04f","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$B135AC89-CE1D-43F0-8923-BAC56B6B5432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$FEE1334A-BE48-414C-82B2-71869A9514BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d05fe0de9d0e3e294914de50e10af77eae8e078","datavalue":{"value":{"entity-type":"item","numeric-id":5292605,"id":"Q5292605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$3DF66331-C614-4CC0-8AE3-35DA659231B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635239a54b27df3d9be68c4314eae680eb0217e7","datavalue":{"value":{"entity-type":"item","numeric-id":710677,"id":"Q710677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$1DF1ED31-DBD6-4962-9FA3-804931ED7768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599622$0F0F1F77-D439-4C1F-8800-33F20E5E2CFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b22668ef2bd66cdbfc2afe6b0d82471d4848e11","datavalue":{"value":{"entity-type":"item","numeric-id":4811557,"id":"Q4811557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021ce7aa92990271b8169ec1ab98b9a3cb46fb2c","datavalue":{"value":{"amount":"+0.7450915575027466","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":"Q6599622$9B334DC6-E294-4331-808A-42E078D34FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260296261f3b89b9b0cda5aa074252bd3771c64a","datavalue":{"value":{"entity-type":"item","numeric-id":3371151,"id":"Q3371151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55aef32022aa9d2da6b4b24e1431de233584ad6","datavalue":{"value":{"amount":"+0.7442421317100525","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":"Q6599622$EEB3E119-ACEB-4EE6-AFF4-9961B993D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60aa6e5bf9acda4657b4833367ad5ed3e52d1837","datavalue":{"value":{"entity-type":"item","numeric-id":4914418,"id":"Q4914418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867f604b069ecb58d65331bbe4459354a5628c3f","datavalue":{"value":{"amount":"+0.7257712483406067","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":"Q6599622$47D27D1C-FCE5-4E0F-AE80-D5B40F5A9C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9706bca7b4cf3d45a8de8ba4dac6ca439427bc01","datavalue":{"value":{"entity-type":"item","numeric-id":3156869,"id":"Q3156869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015be4f2df2876d03682a5a35be4d89d165747fa","datavalue":{"value":{"amount":"+0.7231860160827637","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":"Q6599622$63D4DAAD-C695-41EF-B44F-28590B25F331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0f7c2f4c112983592e75b23d20d59b03a0ec71","datavalue":{"value":{"entity-type":"item","numeric-id":5460000,"id":"Q5460000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83225d485fc58c45fc5577bbd46f0209e3565788","datavalue":{"value":{"amount":"+0.7154073119163513","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":"Q6599622$91EE2C8C-23D9-4F20-B96B-6FFF1B388DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6599622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6599622"}}}}}