{"entities":{"Q5155675":{"pageid":7185246,"ns":120,"title":"Item:Q5155675","lastrevid":41183352,"modified":"2025-04-18T19:44:16Z","type":"item","id":"Q5155675","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407786"}},"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":"Q5155675$0614D163-A26B-400C-8C64-F07BA53EE3A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7180e8000726f0c0873dc0439c83c00ff09ab0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5049044,"id":"Q5049044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$DE5F5698-C5E9-495A-862E-DFB400BBF8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11a23cf28e74ff89c316845582a7b9b26a52e81d","datavalue":{"value":{"entity-type":"item","numeric-id":2172819,"id":"Q2172819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$D2FDF8DD-FCE6-4223-9FDB-9D12C5523AC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de933dbe9097032f43430008ac1661f561c682fa","datavalue":{"value":{"time":"+2021-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5155675$4880B250-8421-47C4-9358-FA7A8C1E454E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b1d845d123940731a6b47e99b9dacdaa8f02a90","datavalue":{"value":"https://arxiv.org/abs/1910.06057","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155675$F1CF8389-5EA5-439C-B65C-FD081953F5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b03bbede46465af9b9cc71aad2c00a2703059cb3","datavalue":{"value":"https://lmcs.episciences.org/8324","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155675$F6DCB4A5-33CF-479D-8E4E-391DF52C4B2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155675$3AF71D33-551D-4417-ABC6-9603CEF6F331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155675$AD136623-A4B0-4906-B9D0-8A15BDC00869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a3263512f4438a925dec34571a1346ac7bc23d7","datavalue":{"value":"7407786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155675$A4B37724-DCD3-49D5-B922-430C0D92C744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155675$1CBD21E5-17C8-4BA6-8EB8-A5075D085582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155675$7DA6F732-9B2C-4DAF-A98C-6B7EA5A6DA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155675$892EEAD4-492A-4C5D-BFCC-4E39FBF982DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155675$CD1DEDE3-C7A1-4627-B45F-E3A02842A491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f6cae9a172190a2f9a427c4ea224e4e182424","datavalue":{"value":"union closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155675$159F25BE-6A14-4B8C-95E1-8D67D5D9F47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d873906c6b05644f4875e18068ef8ccf5f70580c","datavalue":{"value":"model-checking games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155675$1F22768D-D054-40EB-8676-97301C9989A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7550505cde42f91b70cf423ec9bdcf64582ee437","datavalue":{"value":"syntactic charactisations of semantical fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155675$33AFE2B8-4565-4294-8E77-1B32F6193E17","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":"Q5155675$E033E7BD-DBDA-4B7C-9F61-7F4C9E3F19BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$2838006D-B783-47CE-8A9E-E6B2B512C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$B721EC5D-575F-4C03-ACEC-455B971C9491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$0C239F4C-BC52-4851-B8CF-BB6FCCD4714D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$7E0B9AEE-9FA7-4B3A-AF47-008B02A3805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$195A47E9-5BE7-4EE3-9A3D-F0A0185318BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ecbb7382c81ff4c246d8ee37f901be0a41022","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$0A21EE2B-5AB2-42CF-B965-6DAA5ABA642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e112085dc5d4557d449936b394eab7633694a7","datavalue":{"value":{"entity-type":"item","numeric-id":4789452,"id":"Q4789452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155675$3D359D56-850C-4B6D-9B24-70775029B9C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b5f97549add1fbe32b7e62958c3963249dad47","datavalue":{"value":{"entity-type":"item","numeric-id":5874212,"id":"Q5874212"},"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":"Q5155675$FB72FE3E-C840-47AE-896F-3F7491AA56CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d51a135e4573ccfe369e41309ecf215a653d5c0","datavalue":{"value":{"entity-type":"item","numeric-id":2131275,"id":"Q2131275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64761354960b100c54f30a3e4309ede2ca13850d","datavalue":{"value":{"amount":"+0.8785063","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":"Q5155675$29963ED4-605C-4CF0-9646-759ADFD82A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ea43122819827a53f8fc3a6360e830e356c09f","datavalue":{"value":{"entity-type":"item","numeric-id":2172824,"id":"Q2172824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b983b25833cb333145f374bf88e3d9edd1a1c4","datavalue":{"value":{"amount":"+0.87081146","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":"Q5155675$37D3A40B-8EFF-4F08-AAEA-50ADBBF05A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee171b1b93571dc2315cd2c12b18277277d2310f","datavalue":{"value":{"entity-type":"item","numeric-id":5918795,"id":"Q5918795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1daf80a43670e9a4ca5cd11899ccd1c1a76ecc","datavalue":{"value":{"amount":"+0.8553129","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":"Q5155675$EB00D82B-A306-4FC7-A34B-C6C2797FEEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83723dbc23f25824471d785f3f286a8cd67b095","datavalue":{"value":{"entity-type":"item","numeric-id":5918401,"id":"Q5918401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1daf80a43670e9a4ca5cd11899ccd1c1a76ecc","datavalue":{"value":{"amount":"+0.8553129","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":"Q5155675$1FFBB79A-3C19-40D4-A2FF-0BF9B21BFCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54187c3aa93a860e806a0d62fd9fdcdbd4a28f9","datavalue":{"value":{"entity-type":"item","numeric-id":2172820,"id":"Q2172820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d1a946fa37a2b04f9e0795f80ea76e65d8aaa8","datavalue":{"value":{"amount":"+0.85489255","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":"Q5155675$D22E73B1-BB8F-4E12-9A8E-545F2986AF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9870b603566cef605e1c655794c5448e4557549d","datavalue":{"value":{"entity-type":"item","numeric-id":3147357,"id":"Q3147357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc2f02740d65a723cb258990709cca3ca7beddd","datavalue":{"value":{"amount":"+0.84409094","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":"Q5155675$96F12C95-44ED-4B06-A0B1-075668BD4AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db55cb1149bc4cd18b74412ce1b1587b3ba36a47","datavalue":{"value":{"entity-type":"item","numeric-id":4608623,"id":"Q4608623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8efb0d273efc5c3a232fddd3c9e386fd2dbe1b","datavalue":{"value":{"amount":"+0.8438883","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":"Q5155675$B154B8FA-3E58-4764-AC34-CD9E105D9524","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":"8e62c840855dee66eed22bf972f50cee1ad3ed52","datavalue":{"value":{"amount":"+0.8398247","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":"Q5155675$0D5604E5-F1F0-4B34-AEDB-C808F449A006","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":"622361ea81c92f2f990be12453bfa32fc8fb3c8c","datavalue":{"value":{"amount":"+0.8397011","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":"Q5155675$52AE0542-D844-49D2-81F0-40BC76C362D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5155675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5155675"}}}}}