{"entities":{"Q4779585":{"pageid":6809165,"ns":120,"title":"Item:Q4779585","lastrevid":74479131,"modified":"2026-04-14T22:48:13Z","type":"item","id":"Q4779585","labels":{"en":{"language":"en","value":"Complete Proof System for QPTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836047"}},"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":"Q4779585$85004CA0-9773-432F-8340-5E915A5DA308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c895b7c5ba47124fb31617d2fae107e82380b83","datavalue":{"value":{"text":"Complete Proof System for QPTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779585$5D704571-7E91-467A-A51C-B7D44E8A27F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2db6454162e24edf743ca194415a890889e701cb","datavalue":{"value":"1013.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779585$6635E9CB-EFEA-43DD-98A9-119F87A35E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5c32502a6d95c8a51d14316c1feffb3f43bbce3","datavalue":{"value":{"entity-type":"item","numeric-id":208769,"id":"Q208769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779585$8DE9B21E-C9EB-4381-95CA-124C2FBD1318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779585$5D5CE59B-9088-4581-AD15-FA03B5A60D29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fdea2695bcade5fceafd69e2823569e828acd9c","datavalue":{"value":{"time":"+2003-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779585$C16FD137-CF7E-43E8-BCA5-6BB731EFBC94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe75869c329c257e2cb2c3593c6ca40d0a798f2a","datavalue":{"value":"https://semanticscholar.org/paper/966b905778116a4844bb87d02a2eaea5d3f38d6e","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779585$CF1F77E6-DA3A-4572-8C11-FFFE4C3DF94D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779585$D32E1BD2-4D65-4B59-937C-88BCB3F29A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779585$6FEF5374-312B-4BA2-A1F3-B72C15B67123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779585$C5C37FA2-EB54-4C20-880E-4E75695EA6CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7fd9bdbce5f6d4649aa3c34ee3a56aef8d979bf","datavalue":{"value":"1836047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779585$FD4C5925-1B18-41F0-9755-6CE7196A91CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103de830eb423c2e7b3c73f6870db2bf0c939e69","datavalue":{"value":"axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$61D3651C-60AF-4F72-BB4B-F495033B2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$C58B175D-227C-4E92-B0A2-750FD0ACB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$FD52501F-237F-4676-B6B7-EF537A80C938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce2aa9906fc4e385a92783660952cf37bfb2f68","datavalue":{"value":"rigid variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$5D4B36E4-771F-4A96-9561-1E0D3417C338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a08173b3cf19eed4e4b78522249c91dd3ab0253","datavalue":{"value":"flexible variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$A1B60281-18ED-40DB-A3ED-882AC45AF0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$EEF6EEDA-53EA-45DE-A747-8C4FF2DB8543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$A4DB01D4-426F-4725-B5A1-1140D3E2B8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24050c0b12f6ca40364a569ee5b0126d7444c316","datavalue":{"value":"history scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$4BF5A394-DE61-4A2F-95A0-2B24B6B4150F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e066bc8ec9742ddcb160d5d1ae3def2576b3c1cc","datavalue":{"value":"prophecy scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779585$143A4114-AE58-4712-B187-02FE31BDF91A","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":"Q4779585$8C48AE54-EABD-42A7-B282-4CF43E6C2428","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"784207d411fe36bd375f1b1a3c54f8584cd4851d","datavalue":{"value":"W2086950378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779585$E3CCFA6F-3D3A-47CB-AA02-86E37A96356F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7717cdcaad4429602c126ed21bc3137ca32c1343","datavalue":{"value":"10.1093/LOGCOM/12.5.701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779585$4FAA118D-2219-4FCC-ADB5-838864469281","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779585$D3E1AFC1-5B71-45CA-880B-10194AC7DA82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8eec99e0aa377f3824b5916b14ae63be923db","datavalue":{"value":{"entity-type":"item","numeric-id":5465439,"id":"Q5465439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5b8a59439b07cb37c268bb6081de6acd95da3e","datavalue":{"value":{"amount":"+0.8837068676948547","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":"Q4779585$09C50FC5-1161-476A-8231-1A2C31F2311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59db885f00a50b529db6194c7c54db579252edca","datavalue":{"value":{"amount":"+0.8207402229309082","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":"Q4779585$9D4E17E8-076D-4034-988F-2D4417D93C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea8c15d4b477627cb8e775b5b9d5be542d07a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5305654,"id":"Q5305654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f264294c1242b495d61a6119fb6781117e7596","datavalue":{"value":{"amount":"+0.8046831488609314","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":"Q4779585$B6764147-F592-45C1-AC2B-BE79480C0F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50345fa88c8af3bc18858d089ec67d475c3bd7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4547958,"id":"Q4547958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa300c9de3f294815f399575b0b965c479173c74","datavalue":{"value":{"amount":"+0.7940813302993774","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":"Q4779585$87476C08-B356-4637-A4E3-9D2EAA423534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b5fe0de55bae081c6e1b98fe5515c9367e45e8","datavalue":{"value":{"amount":"+0.7875301837921143","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":"Q4779585$0987033A-A2C9-4AFF-8E4A-04F3F8AE029F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete Proof System for QPTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_Proof_System_for_QPTL"}}}}}