{"entities":{"Q4028788":{"pageid":6058542,"ns":120,"title":"Item:Q4028788","lastrevid":55223119,"modified":"2026-02-05T00:31:19Z","type":"item","id":"Q4028788","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 140381"}},"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":"Q4028788$BCCF2034-1CE4-44F6-B176-AD10CB8DCEB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5282d38a305ec2344de620d131e9171735fb4ad9","datavalue":{"value":"0765.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028788$F12949BB-D4B9-405A-B819-CA843981FB5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c58bdb41de6bff30051f66a3412134d626fddc","datavalue":{"value":{"entity-type":"item","numeric-id":989167,"id":"Q989167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028788$4AC86D73-BDD2-48BB-8FBE-FEE82BBDACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6ddc79a21fbbd002432067be78b321926aa8954","datavalue":{"value":{"entity-type":"item","numeric-id":360129,"id":"Q360129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028788$BCC2809B-5AAA-4A44-BD03-9789EF9AA55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd68d556be65b375580e3954c451776835e53d3","datavalue":{"value":{"entity-type":"item","numeric-id":989168,"id":"Q989168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028788$D38536F3-77B8-47E0-AA33-5459E41811F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f55492b021a80a5e4ecb0c87db8c14b8fd9724d2","datavalue":{"value":{"entity-type":"item","numeric-id":696965,"id":"Q696965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028788$7C30525D-52FA-4716-85BC-02B3137EF467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028788$2168920E-3E32-4C51-AFE3-3F03FE10424E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028788$BCF38C73-646D-47B6-AE42-17A541F9C396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028788$696E7EFE-5310-4677-9C3A-5BC6711A5283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028788$45A55D16-FD69-4524-87EA-721F89235455","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8581616cbccae5d11b8f8721e3225f25d309dba","datavalue":{"value":"140381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028788$A107D795-7FA0-4904-8BF2-15D761ADBADD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a055caf438ee3df6c9e1509d998ebacb81c32fec","datavalue":{"value":"concept languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028788$6A926B17-FB57-43E0-882D-126F6C64C366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028788$CC914E09-4F2B-4667-B7A6-D2E9ED040747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028788$0FBD507F-076F-4A71-88C7-E2E3147E0AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05e28696a127c08d4a2d0174145c048acba43b0b","datavalue":{"value":"subsumption checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028788$A2ABAF63-D01A-47D1-AA3A-585FBAA08312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028788$004E4D96-0CA8-47F0-B674-AD85684C745B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e6a31f379a5754464db879a45fc71dd76d57774","datavalue":{"value":"tableau calculus for predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028788$9A556236-C729-4899-96C5-FC12480093D5","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":"Q4028788$C182B3EE-4407-49CB-AB9F-6FC0F4661147","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f44092a0cd202ffed376edb3ac8351bafb1c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":1363785,"id":"Q1363785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q4028788$976ED52B-915E-4131-BC98-ED3719CEC932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37056f8d320de3c8fc81493739efa65564f4dff6","datavalue":{"value":{"entity-type":"item","numeric-id":989170,"id":"Q989170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6438dd27e941a70e5be03e4058b021cdd7bc7eed","datavalue":{"value":{"amount":"+0.9014189","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":"Q4028788$4101E4FE-C60E-41BC-A8D7-3EBDDDDA09AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02534704ac88b755c4ed45b0b4ce896ce2194d7e","datavalue":{"value":{"entity-type":"item","numeric-id":4012243,"id":"Q4012243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c14b95094e44756f1a2bb86eaa011396215788","datavalue":{"value":{"amount":"+0.8968234","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":"Q4028788$515C4E29-E2C4-4083-8A61-235E5BFC82F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cad65bb6068f851aeefe7b5c96da06d689587cb","datavalue":{"value":{"entity-type":"item","numeric-id":2817376,"id":"Q2817376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360a0bc83a1e57a5004d815839498a00d3112c2c","datavalue":{"value":{"amount":"+0.89509547","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":"Q4028788$308546C6-88E2-4FAD-9040-54499CCEC9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b4052afc19b4d43f12fb1bf305964e8ff5b435","datavalue":{"value":{"entity-type":"item","numeric-id":4874659,"id":"Q4874659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"390dbe8e616472124af3eca55606b0cb90996d62","datavalue":{"value":{"amount":"+0.8940938","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":"Q4028788$0C7E96AC-2C87-46E8-9B11-53D35A6ACCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a829bc209b8170268f3134cec75b344d68992e","datavalue":{"value":{"entity-type":"item","numeric-id":4954002,"id":"Q4954002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3d84be2dfd1a90b2de4019c08732f801967b38","datavalue":{"value":{"amount":"+0.890638","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":"Q4028788$0C94D6E9-C1E1-457E-B15F-0CD8335A16DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdab498229489b8a2fa076928694d17290b2174","datavalue":{"value":{"entity-type":"item","numeric-id":598312,"id":"Q598312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a858bcd5f4132b73d252ae5b0dbdd98ce9417c","datavalue":{"value":{"amount":"+0.8880911","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":"Q4028788$9B65BEC6-862D-4327-9027-4FB1D6C04A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ed4403e632ac5015ef9c7010278be66831d8fe","datavalue":{"value":{"entity-type":"item","numeric-id":1391136,"id":"Q1391136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51c2e302e839a5b634c3122737159f2a90c8bd2","datavalue":{"value":{"amount":"+0.8860167","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":"Q4028788$FB3E4036-0405-4B0A-8923-5576CE6E8A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b147bc0286436b0819fad980c8df17a1910054b","datavalue":{"value":{"entity-type":"item","numeric-id":1085618,"id":"Q1085618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcb039c3ecabc1be6f3d7fb3eeac1ec526c2a1b","datavalue":{"value":{"amount":"+0.8735033","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":"Q4028788$79E549FC-9AC2-4B6E-B4CC-1B03968F0426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3d9f35d6586309845a8a08faccc1f3d2cb8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5199958,"id":"Q5199958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6cb9fb6a13b0d8554a3a39f3aa519a3383a0c3","datavalue":{"value":{"amount":"+0.8708787","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":"Q4028788$59C1A9AC-D32F-4A74-91F4-28453F20A966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028788"}}}}}