{"entities":{"Q5376653":{"pageid":7406227,"ns":120,"title":"Item:Q5376653","lastrevid":55911889,"modified":"2026-02-21T02:11:06Z","type":"item","id":"Q5376653","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7056226"}},"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":"Q5376653$4348B2B0-95BC-4D19-99B0-6434641124E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab8b6eab35985e7b4ee49a042e43493ea64c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2193279,"id":"Q2193279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376653$3E50C9ED-9524-484C-B389-38910DB1D9A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff447296bef390af9bbc2815788c2e74961068e5","datavalue":{"value":{"time":"+2019-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":"Q5376653$72C5A47F-BF87-4F4F-A234-5E20CECBE8DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd934cfc0f0ed8eeefa0ad2834e0750f41588c4a","datavalue":{"value":"https://arxiv.org/abs/1709.05253","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376653$6AEBD776-6373-4C6F-BEDD-07DEB1099AB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376653$6B179410-FBC1-4098-B3A2-FB90CC68706C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376653$63C59510-561B-4597-8244-B1F8B7B89181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376653$761776F0-2730-401F-BD64-A9F181AADD66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c7075c5711e89b932e218e0d5318e3f3b443d29","datavalue":{"value":"7056226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376653$96C68BD3-CFB3-47B6-86B4-B0AE65B57D21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376653$DCF90ADA-C0D5-4968-8EFA-B5966F4BC6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376653$78E8B149-88FA-4C57-80BA-DE52AE2AC045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376653$C01CE119-314E-4D45-97D1-8873711B5659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78690daec89ebf1b8eeea898a7346c7831f847ab","datavalue":{"value":"satisfiabilty","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376653$5FFA6D64-B5DB-40C9-9900-C6C878EBB84F","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":"Q5376653$933B7BA4-1C4C-4D50-9E82-D334D9C03051","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17795877acd1e9c78f2fe8b18960a10b73c50e97","datavalue":{"value":{"entity-type":"item","numeric-id":4636046,"id":"Q4636046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376653$C5611B69-6461-43AE-B285-22B0759987E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086544cc3f55bc9f6835e7c5805752233d71e48f","datavalue":{"value":{"entity-type":"item","numeric-id":5079755,"id":"Q5079755"},"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":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$894E6862-F765-4B77-917F-B3E053344D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0de32daac918331710c80545bc7e43fc0a9be2","datavalue":{"value":{"entity-type":"item","numeric-id":5278421,"id":"Q5278421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb81b449880adbe115ec467c41099cfc6abff03","datavalue":{"value":{"amount":"+0.8987806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$509E6B5D-E316-411F-9D52-3E85CEA10631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe2342cd70d22839a2bc0f48b5e7b288be6128b","datavalue":{"value":{"entity-type":"item","numeric-id":2636536,"id":"Q2636536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97471e1204f5b3a52eeeab4078cfcbbeda60c0fa","datavalue":{"value":{"amount":"+0.87234324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$15BD9ED0-C2FD-4D84-92B0-41D649C6B6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a279da254d92f475daef4b88907d8101cf420866","datavalue":{"value":{"amount":"+0.87164575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$BE29B541-54B8-4AD8-9DEF-BE0AC6BB2ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08686dc22c0ca0bcc245193d18562533086c4e48","datavalue":{"value":{"entity-type":"item","numeric-id":5111199,"id":"Q5111199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0e941317097d3f60d0dbf146f9a2d1609649c0","datavalue":{"value":{"amount":"+0.87097764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$C7ED5476-A221-4003-81D9-9340C78023E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2879eae282a79c850899bba0d99e7ce9259eb13a","datavalue":{"value":{"entity-type":"item","numeric-id":5351963,"id":"Q5351963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d806b7904cb7bbdfa02e3f2bc700fd9502d7f4f","datavalue":{"value":{"amount":"+0.8688952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$F26A2659-1FD4-4E41-98AC-7254B3B2AD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f842d5b4f1b7b8f6d6b63496d3ecfc0adb86df","datavalue":{"value":{"entity-type":"item","numeric-id":2021573,"id":"Q2021573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12de11a879f5893788e3af22834237bc9b4f9c43","datavalue":{"value":{"amount":"+0.8686577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$62DFB6A3-1197-40F1-8C34-F5D29D0C2409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d40e377fc6b70bd676ae922da132058e2e23dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3647307,"id":"Q3647307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edac7b097dbe9d9476423ea1b59d2a6733ea45a0","datavalue":{"value":{"amount":"+0.86803615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$92075270-03CC-4655-9907-CEF6F80DC5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e70a6f00fc92e27da11dc32ea158c57d3fcfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5034235,"id":"Q5034235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e173dd5d04178ee28773319d9a5e321c9e0bc1b","datavalue":{"value":{"amount":"+0.86232543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5376653$3C078E47-D6AA-419B-8C84-278712C1ADAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5376653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5376653"}}}}}