{"entities":{"Q4947999":{"pageid":6977581,"ns":120,"title":"Item:Q4947999","lastrevid":46909758,"modified":"2025-12-25T20:20:45Z","type":"item","id":"Q4947999","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1435945"}},"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":"Q4947999$B6770DBF-0B57-409E-82F8-86BD23C22C9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68c631bdda25166ddbe1423da8d2ceb7e23576c3","datavalue":{"value":"0942.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947999$F51B567C-0D81-48CA-ADD7-47425A0D32E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4947999$8D891AAB-3B1C-4243-9499-38CFB35DBB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e7b9a4e94ee55525cd8b7f19d653fb814d5f09","datavalue":{"value":{"entity-type":"item","numeric-id":371437,"id":"Q371437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4947999$3D4DA208-43DA-4F60-A7E5-7360C978471A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2267a12a03a2989dc7cb8900a3cccd050fac0c32","datavalue":{"value":{"time":"+2000-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4947999$F0C3C830-16AB-4D8E-8A20-3F370C98CC38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947999$44437ED6-CAA7-4ABD-B8A7-585E838207B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947999$30B9E6BB-0AD8-4B37-BD6D-1A83F661233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947999$9FAB1F4F-03F0-4ADC-BB9D-E13C33BA8B0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d874fce975d89475ecf1a7fc96dbd9dc00537288","datavalue":{"value":"1435945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4947999$9B5BDEA4-26DD-45B2-9FAD-1D38BD6CD7FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$CE4EC7AB-7F5B-45DD-8C05-26AE4AC05566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$8798443B-82EA-4C3B-BABB-66617D8FD554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$C3DC7C0F-B0BA-4BD1-B221-4AFD0960ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c4193c7b28835775c4d09bdf21d83d5f02ab70","datavalue":{"value":"transitive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$D811C144-CAB7-4C69-9179-D36CC38D74B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$C67B6828-1171-4073-84E9-30BAB0257EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$9441A2C2-D75A-4FEC-9185-90952634B4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$710758BE-77B2-4BF2-A93C-8E97D2DBBF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2155b1f0f1b7934ea2f00e74be522bfbe52774","datavalue":{"value":"directed acyclic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4947999$98AB876A-FF30-40D0-9C14-CD4B58918612","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":"Q4947999$0971ECDB-212D-4581-9ABA-3EBD604FBB4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a1f03376c8c4d5fd70a4c94204e6f0c9efe6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3149219,"id":"Q3149219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580f993c62b4324ce8ba398a74165daefe521400","datavalue":{"value":{"amount":"+0.8661872744560242","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":"Q4947999$1A4F4D7A-9979-4E0E-B2EB-6167A3BC0070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0689bf626972b2e3dac33d68d45fcaf1332587a6","datavalue":{"value":{"entity-type":"item","numeric-id":4532364,"id":"Q4532364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba099de6910aee8cf123fd176776a8e1899e2c5","datavalue":{"value":{"amount":"+0.8027277588844299","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":"Q4947999$E686E5DF-FA1F-4CA4-A22C-71589641D10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a128385bd2d1888263b1fa97a004557f06e99588","datavalue":{"value":{"entity-type":"item","numeric-id":3007260,"id":"Q3007260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3c39debc9322f42d750a579e43ca9b89337abe","datavalue":{"value":{"amount":"+0.7953358888626099","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":"Q4947999$97AD5342-F428-480D-AA5C-9DA3F07478CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d5cf897fab50abe790e1373e1fad4ffd6c0495","datavalue":{"value":{"entity-type":"item","numeric-id":4235432,"id":"Q4235432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fa8e64ce855bfb19c99038428c536428374544","datavalue":{"value":{"amount":"+0.7853516936302185","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":"Q4947999$4772E4F0-784F-4006-BF7B-268A36589444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4947999","badges":[]}}}}}