{"entities":{"Q5918401":{"pageid":8049104,"ns":120,"title":"Item:Q5918401","lastrevid":97724774,"modified":"2026-06-05T15:18:04Z","type":"item","id":"Q5918401","labels":{"en":{"language":"en","value":"Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437046"}},"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":"Q5918401$8B31AE28-323D-4F71-B19C-0FB31C2BB65B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f19b43b66e19bd693625800f20a88577e99b842b","datavalue":{"value":{"text":"Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918401$2237EACA-4005-4222-8435-923851292E34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f2d69762b019ae2997ce7dabba13049fa4038ae","datavalue":{"value":"10.1007/978-3-030-75775-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918401$DB92E4C4-29D5-439A-A689-074057DCB6ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9268bd0662723881aeb01450a336c942a22b3e8","datavalue":{"value":{"entity-type":"item","numeric-id":269504,"id":"Q269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$CDF8DAE8-1E92-4160-BEB2-431D9EBA641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$7FC1285D-CB02-4405-B15B-0D0F347B2439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$BBC397A1-7D8C-456A-94E3-4199C49554CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918401$AC04E73C-FA6F-4A68-9492-AA9A41303D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c9e7c679eb8463985cb7c40aff06d70ffd3dd1","datavalue":{"value":"https://arxiv.org/abs/2012.12830","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918401$F520AB03-C547-45E0-98CA-96C3657E0BB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918401$59EC41A9-9E4B-4950-A66F-564C1FEF3808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a57620b700419e811b7a99a02b92d16d761eba","datavalue":{"value":"7437046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918401$0C7A5136-121F-4A2E-BFE9-8647309C7AC3","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":"Q5918401$33C05D32-6532-4E38-9521-88D62D358C64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"309875aea8f823091f5404d7e0d99c08a9c76017","datavalue":{"value":"W3165408802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918401$5A50FC4A-B8AC-427B-BC79-EB2BE20A614E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a5dc44e4bb4aa721e4621c393cde2235579fa2e","datavalue":{"value":{"entity-type":"item","numeric-id":1394800,"id":"Q1394800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$29DCE22C-5673-4BE6-85E0-420B727B41AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b36173ca60049f5b57fc77030467db53463adf","datavalue":{"value":{"entity-type":"item","numeric-id":4372496,"id":"Q4372496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$157DF5B0-7EBC-45A5-944F-AADB7DB04C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$82086A13-B4C9-495B-8914-E80D817DA85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc00a0cf045f327cab813e979ac8311b9b12266","datavalue":{"value":{"entity-type":"item","numeric-id":2489141,"id":"Q2489141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$AEF63FC8-8DE1-4B51-A28F-560D070F1B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2691f3df83db06e5a0d855250c02b07290d93e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4254641,"id":"Q4254641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$36815EC8-8465-47D7-898D-3B4802415764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd09a17cf2a41ace765d75228c1b1d9e741222d9","datavalue":{"value":{"entity-type":"item","numeric-id":1783737,"id":"Q1783737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$8AF69D4C-A680-4556-9FEE-3BFA7CA31593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92519a57cea63c4ef560f91abf6fd5c4b6d5056d","datavalue":{"value":{"entity-type":"item","numeric-id":1647487,"id":"Q1647487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$3D1CE2D1-5777-44DF-8E0F-8F5E19D22B43","rank":"normal"},{"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":"Q5918401$04FA99B3-BD30-4A40-9F7D-2C8BF4CD3692","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":"Q5918401$6B39FE0C-F40F-4D64-B2A0-21BD3216C247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b87d42ea44205b35a73a445f9bdd14d49dc880a","datavalue":{"value":{"entity-type":"item","numeric-id":1383163,"id":"Q1383163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$8885F36E-7261-4D21-A74A-21C6EEEDFB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b33882de0ec94b0474a8559905d31a70b4294e","datavalue":{"value":{"entity-type":"item","numeric-id":4945218,"id":"Q4945218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$3743F36B-23A3-400C-9841-4BA40E32EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d27152db1d458db4539db7185c8e1502bf2ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4234078,"id":"Q4234078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$37F8A7F8-1047-44DE-9924-162F08AE0146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b77368b68f0509b8ddbb2a0f948ea4b7c881944","datavalue":{"value":{"entity-type":"item","numeric-id":5144626,"id":"Q5144626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$DC9E4F81-055A-426B-81BB-D7C341262161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228589e165be309b7eb224cab83d11c97eb3f6d1","datavalue":{"value":{"entity-type":"item","numeric-id":2296714,"id":"Q2296714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$F6C93525-5C49-46F8-AFA4-3D72295A925A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680797ba42b861d820c61e3d439af08cb8fcfb49","datavalue":{"value":{"entity-type":"item","numeric-id":5145662,"id":"Q5145662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$F184C744-4A13-4763-BC93-58338A88845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afcfca62326b4f13505c16dc13ffb6900da72474","datavalue":{"value":{"entity-type":"item","numeric-id":5918401,"id":"Q5918401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$298E073E-D434-42DC-B6E9-0E5E35DCF640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f45a6565ffbe2054f4551c860b709202a511912","datavalue":{"value":{"entity-type":"item","numeric-id":3376539,"id":"Q3376539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$D85BD0D6-5F81-44AD-B87A-EA9CBD8A888F","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":"Q5918401$522D7225-5741-427D-977D-ED4081FE382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757b837d8745136827f80af08d646c3dad2e150c","datavalue":{"value":{"entity-type":"item","numeric-id":2402954,"id":"Q2402954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$88C51B81-E5E1-497D-A61D-2637DEBF953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5800d93eb4f8caa03263f0b51c3001208ff1e9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3050157,"id":"Q3050157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$F96AEF83-CA0B-42A7-9715-AA3AD7980248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5746585457566a9017d1ce78fdea329c109057","datavalue":{"value":{"entity-type":"item","numeric-id":1338216,"id":"Q1338216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$31C15573-E8A3-4271-803E-D2BB04CDDD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce20f5c7328797e564eb18ee2d87c48174225b1","datavalue":{"value":{"entity-type":"item","numeric-id":5902156,"id":"Q5902156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$442F95BF-D1F7-4B6C-B864-E39A2FB8833F","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":"Q5918401$27F8743F-F1F5-4EBF-8A3F-D6A1F3CF3BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d16f60fbbb517c2cca9a149c5b1ce9fd26a11f","datavalue":{"value":{"entity-type":"item","numeric-id":1575534,"id":"Q1575534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$282299C5-F8AD-4D4E-BC08-E34BF5042476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123f0c50ee2062e5b8905b6b8515a5aec48847d2","datavalue":{"value":{"entity-type":"item","numeric-id":519892,"id":"Q519892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$4E438ADB-0077-4768-970F-743E2F0F650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918401$ED316898-E4C1-4D00-B9AC-C94F0C5046BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (scientific article; zbMATH DE number 7437046)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tractability_frontiers_in_probabilistic_team_semantics_and_existential_second-order_logic_over_the_reals_(scientific_article;_zbMATH_DE_number_7437046)"}}}}}