{"entities":{"Q5327360":{"pageid":7356934,"ns":120,"title":"Item:Q5327360","lastrevid":51794066,"modified":"2026-01-20T01:59:38Z","type":"item","id":"Q5327360","labels":{"en":{"language":"en","value":"Shared-memory multiprocessing for interactive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196179"}},"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":"Q5327360$A5F8AA4E-82A1-4EE5-82AD-544800B32909","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aace45b4f35cb09858264c58e228a9870e417a7e","datavalue":{"value":{"text":"Shared-Memory Multiprocessing for Interactive Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327360$545A08B1-3AD2-4EFF-8CF2-2462B27EBA88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c3f72cd8edbbf0d7a3b72cfc08856af093e591","datavalue":{"value":"1317.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327360$EE389F9D-DE53-47C4-A765-2BEAFB146420","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a79ad503489a6f86c23a4e35a309f3e9fdbf8cb","datavalue":{"value":"10.1007/978-3-642-39634-2_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327360$F084D549-E31F-41DC-AF19-8A5E2DBC258C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a162d67ca0f0da05fadb758011f7efa5d1e07db6","datavalue":{"value":{"entity-type":"item","numeric-id":287364,"id":"Q287364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327360$211AFCCA-52C5-46A4-BCC4-82B6AC465D82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327360$70800016-1687-43EC-8F56-1061FFA84330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327360$1C4F56E5-D884-4C3E-91BE-4D6241F3AFB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327360$6F97A3C5-B2AC-40C9-AF6E-2DE327D3B7AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ce0283da357bb12d2afaaabcd037fbfa38fd74","datavalue":{"value":"6196179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327360$F17C10A4-8DC4-409C-B4E1-501BB702B977","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327360$AF090228-9FBB-4A23-B957-60438B7248DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327360$50FAB18A-07CB-44B4-88F9-89EAB0144E50","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":"Q5327360$7D234090-D94B-4194-9F34-0CF8C2A0ED98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc13315268d502c9f23a44b0274d99590705f58","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327360$34D405BD-98E2-4BEA-BF92-24B28722EE81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02c58fbe18c851767a0978c6618572eabfec4405","datavalue":{"value":"W195012021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327360$B21A18C4-0054-40B7-B0F9-82BA893A0F14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef987661b418b289e2924d474c61a925bb8556a0","datavalue":{"value":{"entity-type":"item","numeric-id":2843039,"id":"Q2843039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0aae0b6f989fefa427415b972932dfff6729fe","datavalue":{"value":{"amount":"+0.8190168738365173","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":"Q5327360$F64441ED-49B0-46B3-9D7F-FE209F51E667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90d48d690e48fdf321ee2d3a912ecd028d2da3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327362,"id":"Q5327362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b408d8afef116f7acce6d5770ff2431d05636bb6","datavalue":{"value":{"amount":"+0.7752161622047424","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":"Q5327360$A7756835-2106-424D-9619-C18D4C1AB6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfe76c583713b55eadf25fa3d88d354ebc06b63","datavalue":{"value":{"entity-type":"item","numeric-id":2879273,"id":"Q2879273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de306f45026185686c3dc8eb086b53043ee9aaa0","datavalue":{"value":{"amount":"+0.7504067420959473","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":"Q5327360$1B6E3344-1220-4250-A50D-FA5073D77D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a02b2bfea1c5f47cd601f5ce8d9525ee86d87fe","datavalue":{"value":{"entity-type":"item","numeric-id":5219926,"id":"Q5219926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ba04cd782dae32c9ce0de213ffba3b8c150327","datavalue":{"value":{"amount":"+0.7373184561729431","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":"Q5327360$600EE5B4-640B-419F-963A-26CB853AB687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d5d460ab81352456cff9209f0fcf284fc38115","datavalue":{"value":{"amount":"+0.7250618934631348","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":"Q5327360$E84179F1-C386-4577-842E-E3DBD8726EA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327360"}}}}}