{"entities":{"Q2985775":{"pageid":2996500,"ns":120,"title":"Item:Q2985775","lastrevid":52799420,"modified":"2026-01-23T13:01:42Z","type":"item","id":"Q2985775","labels":{"en":{"language":"en","value":"Higher-order ghost state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713909"}},"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":"Q2985775$1D74A677-898D-4FA2-9901-F3279A98514B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a1ab01aedc4edbdc73866b6e16a823f5247edcd","datavalue":{"value":{"text":"Higher-order ghost state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985775$5AD2DF6A-0053-4775-81C4-B3CA28181AC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44b253ca73cfb914d46757def52988bf07df0e47","datavalue":{"value":"1361.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$2CBF5014-FFC0-459F-A560-940A4AC355BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e91e3643b54126cee239153221de86decf024d0","datavalue":{"value":"10.1145/2951913.2951943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$5E4F1C44-CAB6-4DA7-B6C8-7A0FE2BEC933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ac7c2bfaf82ba55b6a35abd98376a3b7761778","datavalue":{"value":{"entity-type":"item","numeric-id":2819851,"id":"Q2819851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985775$88509CB6-5AD0-47C9-A686-60A5A2BC8772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985775$B30E79F4-B5AD-43D2-AD10-53ACAC76DFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985775$7884B0D7-9DF5-4783-ADF6-9A777F2D08B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985775$20413454-9BD4-4261-A325-9769FCB766A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985775$54335639-423B-4974-9FDF-654F42C67D71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985775$37D0F666-F2C5-42EA-8828-39A55A6F89E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"912e703fe38f954fd0af872e62b3a479c600ccf1","datavalue":{"value":"http://hdl.handle.net/11858/00-001M-0000-002D-067F-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985775$3F125AD7-5449-448E-BAFA-F41424C6195F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$E5994672-BBB2-4B1C-BCFD-E6E49A0E600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$F98EC187-696E-4A1F-9E80-16D36812F38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$AC504A4D-6633-4E35-9C65-C1596270A1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$CBA33A51-FF6F-4041-BDE8-7E9D58FDE018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$6FDCCC9E-1DE9-40F6-8255-77F6546552A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$B7D6F7BA-556B-482C-957A-A6DCFCBB1DA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb3db7840add885c50dd42af93b81d1143999f1b","datavalue":{"value":"6713909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$C83F1C40-B531-484A-AC2C-70B642AB875B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985775$035C1280-36E9-4516-ABC2-12AEEFA41AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985775$2FE940EA-3CEE-4304-93EC-EB76FBF8E058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c0ff791bef59c18e0be5c681d736f264593fa9","datavalue":{"value":"fine-grained concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985775$EB4DAD84-F76B-4DFE-8808-4C8892C7694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985775$05D20D3D-4150-4D8C-8C2B-BFFB4D77115C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985775$97C7B58B-3119-4A31-85C7-303F69BCAE96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985775$95BBE73A-4BBC-441E-BA7F-FF0221CD2C91","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":"Q2985775$FDFC0218-C892-47A9-92ED-D39FE01C68C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f76805b5bcca87db0c2edaf9c3e5de15e16e3ee","datavalue":{"value":"W2509578035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985775$056D517B-20E2-4A91-AB0E-3607469185A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be0a1b701db6fca2da35be5fdb6e7b38d0bcdb1","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea6357209b8cab63921acb7605e428f26304fd8","datavalue":{"value":{"amount":"+0.7956919074058533","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":"Q2985775$27F2191F-7DB6-4662-B886-273D25A60C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bec2fba39529063aa872b353192663794d336d8","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082f6dfdf1af5278f4cd28dd3ae6cfc8825854fe","datavalue":{"value":{"amount":"+0.7807380557060242","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":"Q2985775$9F5DE230-A7FA-4799-B835-2E899CF038FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d40f9656f79cb943f1db96ffd80edd18eb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e67e8bc694b3bdb08f1673ad461470c2a9b80e","datavalue":{"value":{"amount":"+0.7742277383804321","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":"Q2985775$CE18DA65-D699-4202-8DCD-37C37C9CA3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a79341a0cf952380289b3d1b5d38fa1220faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2397039,"id":"Q2397039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff18d4a3a572912f2057d3e7899bf89de55bc71e","datavalue":{"value":{"amount":"+0.7579021453857422","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":"Q2985775$45A767CD-739C-4374-97FB-610B957AF0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e935ff212fe25cab8a9ebd7195798f731e602338","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267cafe47676fb194b211be80cfdde174cabc0f3","datavalue":{"value":{"amount":"+0.7520942091941833","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":"Q2985775$5861E235-4959-42DF-8206-44DEAA0FCDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985775"}}}}}