{"entities":{"Q4941911":{"pageid":6971493,"ns":120,"title":"Item:Q4941911","lastrevid":41177083,"modified":"2025-04-18T17:54:47Z","type":"item","id":"Q4941911","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418348"}},"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":"Q4941911$DE8F0E1F-F764-4F45-B2DA-B285D7844EAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f9ac38c8b5eb97e452445cbb0af448679971e57","datavalue":{"value":"0943.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941911$169FFC2D-D302-4600-AD74-DB968586252B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4941911$5E90EB4F-DBBC-4F2C-8007-BAAB8DA3043E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19945cc67174d34ebbeae4b89d0f3c36236e8191","datavalue":{"value":{"time":"+2000-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4941911$13E05F83-47F7-4DC1-B147-E7EA0B52A565","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941911$B6E1181D-47B6-44C8-9395-8397F4FBB9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941911$332E5092-1AC1-4999-BE6D-BED47114CEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941911$AD9DF88E-B8E3-400A-A56B-F84CDE3DAE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941911$F12BABC4-C957-4221-A8EB-9D59F988ED64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5aedef7d4d01b6eeaf1769aaedc0b7f18193796","datavalue":{"value":"1418348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941911$3538421F-7BDE-4793-8947-E663E0130F52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a170333f62d58f27d2598d5a5980fb8772caec","datavalue":{"value":"clausal tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941911$7DBE7992-8ECC-4A64-BA31-5FC4A8A8C921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941911$AA213B47-AAA1-453A-A3C8-07073A17C904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941911$730481D3-6E95-4841-B10C-C7F37D20346F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7f79ae269ac17ba9b43402022cfc6238b38a7f","datavalue":{"value":"space requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941911$952F0501-073C-4BB5-B0F6-AD8EBCA70E42","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":"Q4941911$123BF066-DC57-43AD-B1B4-61236C6C4861","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1538e9b9440ce734694c2464378531c92a338cd","datavalue":{"value":{"entity-type":"item","numeric-id":946142,"id":"Q946142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e778cf27eb3387aa5fef9cda903aae57f0bd66b2","datavalue":{"value":{"amount":"+0.8946744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$FB524FCB-CC9F-49AC-9FE6-D825F0B7D43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751303f41de905323f2f508e585e7ff39a5ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fa6e505bf39c5f92d9d8dd071fbedab40723d6","datavalue":{"value":{"amount":"+0.8763349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$70ED6BE1-4032-47B3-97EA-ACD009A88A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c92a7c07abf7b14a05fbb706f3825d93c40221e","datavalue":{"value":{"entity-type":"item","numeric-id":3340835,"id":"Q3340835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec41799f888150656ab7c300f7b76a2f568e4607","datavalue":{"value":{"amount":"+0.8754519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$2510C66E-DEDF-4F41-96FF-D617DC0BEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c4ee03ab73976024ddd0b1e9e38adc318e6e75","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0711007504e9432c542c6a6e2a9e0704f96dcc72","datavalue":{"value":{"amount":"+0.8714505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$E24B20F7-CA00-4A0C-B730-4B79107F2490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0346cb07c892f61a7f5b431ff4ebc45d81b80c","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b716236f18d4efbfa36dc38bc20a94e1a2ab864a","datavalue":{"value":{"amount":"+0.87107855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$6C032537-643F-4197-885B-77CBABB9D7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5892a9560b46512313a4b9bb581b8206488f506","datavalue":{"value":{"entity-type":"item","numeric-id":5465444,"id":"Q5465444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b32df159ca90c4b6ab8aa8c900b96e13458167","datavalue":{"value":{"amount":"+0.8660892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$81CC5839-4977-4248-B23D-2601934C8720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822e2522175f89942031286da5caabed2175436","datavalue":{"value":{"entity-type":"item","numeric-id":2027110,"id":"Q2027110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1acef6f1c1d8dea64ef08c856fcff1e2ad678e5","datavalue":{"value":{"amount":"+0.86446124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$151E3C09-74D0-486D-A7C1-B2FE918FB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c9d9292b166b85ad60425b6677774032635903","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f0b24fd673dda2a4041896b68d44245df88e56","datavalue":{"value":{"amount":"+0.8638182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$548C51A8-F23C-4CE0-9890-E328DF33169F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041c34fd35d00f388d0834e867f4d0b7353f27a4","datavalue":{"value":{"entity-type":"item","numeric-id":2271187,"id":"Q2271187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a6eba3aece075524ac240015095658864d41ad","datavalue":{"value":{"amount":"+0.86361915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$E350C24B-631E-43A8-846E-BB6338F818F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b461fc821ee7ef903bd6d3ff4121d9016effdf7","datavalue":{"value":{"entity-type":"item","numeric-id":2296757,"id":"Q2296757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabc45431c3d4328c78db99feec59346418632bc","datavalue":{"value":{"amount":"+0.8618268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941911$8F1D3065-E331-4F46-8683-9CB2BC2BA1E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4941911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4941911"}}}}}