{"entities":{"Q5210792":{"pageid":7240363,"ns":120,"title":"Item:Q5210792","lastrevid":53639291,"modified":"2026-01-25T11:42:29Z","type":"item","id":"Q5210792","labels":{"en":{"language":"en","value":"A novel asynchronous parallelism scheme for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154568"}},"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":"Q5210792$1B226813-D754-4E9F-8794-9D061276413F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"070782bb72c08ba5145993a7f540c4960a0bd6fb","datavalue":{"value":{"text":"A novel asynchronous parallelism scheme for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210792$F685DC74-890B-4676-9C40-CB56636DD7CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5063e3682443d57d6ac87285c8830549a7d6b6be","datavalue":{"value":"1433.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210792$DFFAB615-260B-4A9E-8B25-5BD8851C1AC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5bb3f55c1f0672387c665ebfb3150453867ecde","datavalue":{"value":"10.1007/3-540-58156-1_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210792$BC35FF5C-781F-4219-B070-A080C639735C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10b5e971d44fdbfd9396d7225ccc6780cca656d4","datavalue":{"value":{"entity-type":"item","numeric-id":1373303,"id":"Q1373303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$773D0844-2BAB-4E62-9F21-A73A0FB49EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86168749aadf122499ad1ba6ac02d9cf66d8ad1","datavalue":{"value":{"entity-type":"item","numeric-id":947952,"id":"Q947952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$C4638666-9557-47E7-B12E-473D7CA907EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$73314CE2-0A4E-4CBA-B859-CFC9E65239A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-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":"Q5210792$913911FA-E132-422D-BDEC-8A65AE82EC58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210792$D1F76402-A7C7-4CE2-9293-FD619CD5A0CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d9613c79c429379497e5f4c3e60339ce02d74a","datavalue":{"value":"7154568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210792$9CAC326B-4ADE-4605-BBF5-6F6F3F05638F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba6550e13a376face49ca2fd7481a4fa118fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21958,"id":"Q21958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$1931570F-585D-4402-947F-2F5C53CB7EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1ac18480cfc9c6929462301cac5fe5599af9444","datavalue":{"value":{"entity-type":"item","numeric-id":38058,"id":"Q38058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$6E91E39F-C1C3-4776-A92C-1915F6DEF70F","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":"Q5210792$F684B4B3-6A72-4B00-B6FA-92D8168D1851","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f06170528ec4c5b10d26937c25d898cd8f35858b","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210792$8D8FC534-4722-492F-B18A-3D058C651567","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49be59562973ee6e8bc5b91da98bfb2238d3d650","datavalue":{"value":"W1599727345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210792$E9BEA524-E319-47FE-A1DF-77A5BE316199","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30817b2562b53563610c69609663c46e7d81a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":4003525,"id":"Q4003525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$7AF740EA-F1FF-4533-A13F-BAA74A98F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb400505f0788d686e654520ab2cc97c337c2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3489479,"id":"Q3489479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$15992304-C97E-4366-A62C-54F2E53BEB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8720918c186edfa89953608e12b233c0a80382","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$270A5696-80C7-41F4-9AF4-FA48ACA02C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$5BBB6032-AD84-4118-8F66-D772372F30B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f993f828101e7b01ddac1850f9972a536e0a73","datavalue":{"value":{"entity-type":"item","numeric-id":5894645,"id":"Q5894645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210792$B28DECAF-F77D-4AD8-B581-5742C8BAAD53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d737b97d4b4b01e21d71ece6489985bc890bbf","datavalue":{"value":{"entity-type":"item","numeric-id":1373304,"id":"Q1373304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8cef5bedfc93eb759898453ea1234dbf947f354","datavalue":{"value":{"amount":"+0.8198033571243286","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":"Q5210792$AF141B08-FCC6-4B97-8E58-BF3A509C28C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45438a0fcd660010b3c333f9bfc0feb7467dbc03","datavalue":{"value":{"entity-type":"item","numeric-id":1614863,"id":"Q1614863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80abacfc68f35c0d7ad6b3db120b68c29a2388c","datavalue":{"value":{"amount":"+0.7691304087638855","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":"Q5210792$3588EB1C-04A5-494C-B585-12BC97F5E75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73e1f203d1418f4da64a61dfe1e3e5a07d59a90","datavalue":{"value":{"entity-type":"item","numeric-id":1778348,"id":"Q1778348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47defe638646153190cc455ee04276be07ed114a","datavalue":{"value":{"amount":"+0.7473335862159729","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":"Q5210792$CC2EE0D5-C8DB-4B03-B801-4A567FFD1814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7adadbbdcedda8a82e3ef550c54c50187a7be2","datavalue":{"value":{"entity-type":"item","numeric-id":2488156,"id":"Q2488156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee5033696138ec3bac3c26dc617980460c0042b","datavalue":{"value":{"amount":"+0.7277459502220154","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":"Q5210792$C877EE25-F722-49F1-9C0D-49CC02533B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875cc4f73fb74be10087e96ba425671d4de768ef","datavalue":{"value":{"entity-type":"item","numeric-id":1595925,"id":"Q1595925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c284f123c702e319ac6c5d92c99ea58ae4f398","datavalue":{"value":{"amount":"+0.7170231342315674","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":"Q5210792$198BC5D5-F2B5-4EB5-A202-843468D8D402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210792"}}}}}