{"entities":{"Q4636628":{"pageid":6666209,"ns":120,"title":"Item:Q4636628","lastrevid":58315632,"modified":"2026-04-04T16:49:48Z","type":"item","id":"Q4636628","labels":{"en":{"language":"en","value":"The first-order logic of hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862122"}},"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":"Q4636628$EB5A85E4-77B4-4139-BA2D-5244F8E98DE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"614bccd78df53f2cd47cc665717ffa1c22251cc4","datavalue":{"value":"1402.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636628$2B710365-86C7-4785-8C00-51016B384F8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636628$1858503F-A75A-456E-A6BB-F63B50FCE39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636628$FCA8458B-C7E1-480F-A9BC-48D611FEC6CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636628$9AE5C7CA-9DF1-43E9-9CDA-4848840F8AF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec581bca6b6ed208c17d7869139b5fc5a70b1b0b","datavalue":{"value":"https://arxiv.org/abs/1610.04388","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636628$D5B29C8C-EA55-4C05-9BFB-2059D90AA157","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636628$F26EBF21-2DC2-4954-9E1A-782A33B6CFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636628$67673443-33C3-42F3-B30E-B472920ED789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636628$42D38DA3-B562-41F1-B346-A8C5450CFA7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89d1e5f6e0026e49bdacd7939f10f9b4a470822e","datavalue":{"value":"6862122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636628$1F663FF5-3D49-48EA-8E7C-3CE577AF301F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636628$5500A327-8A15-4A62-87A1-1FF6016E8DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636628$DF1522D4-5AA7-4466-B428-4B5277C27A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636628$545D8E6B-5708-411E-9694-C0A3A850A39F","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":"Q4636628$59FBD686-FE8F-4B95-A0BB-91BDADABFD17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c0148e4880964e6004505207da5f9fc87bacc18","datavalue":{"value":"W2539229089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636628$505E90BF-0E87-4BDD-9730-F5535D8B1D80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3860c145d4bc07a1bd9fb1f908a45490fca34b23","datavalue":{"value":{"text":"The First-Order Logic of Hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4636628$2E53F35C-FE35-468A-A175-7CF5BFCFD6AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8ae9199517d8c1390e53f1d6e005b9d40c8e787","datavalue":{"value":"10.4230/LIPICS.STACS.2017.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636628$F564EBFD-62B7-4C62-B2F3-2018FE567B9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbaab0d6fd4b7cf62e7b9f7f9e59546e1a97963","datavalue":{"value":{"amount":"+0.8926748037338257","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":"Q4636628$24B1D4DF-3757-4583-A197-D8A7B8990D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af82bde9559b30a3de873fffe47dc2d4f0df70a5","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f995a7b6ba202b34e61d21e40314f55d77e2f0","datavalue":{"value":{"amount":"+0.8191304802894592","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":"Q4636628$FA2D0AF0-4B3D-4448-A02E-871C62D70BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56b61384a9324d79900c0edcb4360b18b09508e","datavalue":{"value":{"entity-type":"item","numeric-id":2152640,"id":"Q2152640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e108e8e04d0ab949d35dd6389ef10b60417fb3f1","datavalue":{"value":{"amount":"+0.8121622204780579","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":"Q4636628$06618748-0EBF-43E6-85B6-FC01D0E09046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014aae3dfb57b46b5ed07c501a4556078587d046","datavalue":{"value":{"amount":"+0.8118532299995422","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":"Q4636628$730A4F2C-60F3-4030-AF49-D340514837C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd6441ed8651f4837fa5a8c5fee11f790855ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b0b78cdb36aa68160d3cb82c3afcd9e70bc2bb","datavalue":{"value":{"amount":"+0.8045507073402405","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":"Q4636628$95470EB6-592A-4630-926C-B38382D83507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636628"}}}}}