{"entities":{"Q5310688":{"pageid":7340262,"ns":120,"title":"Item:Q5310688","lastrevid":50182724,"modified":"2026-01-13T10:29:22Z","type":"item","id":"Q5310688","labels":{"en":{"language":"en","value":"Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200158"}},"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":"Q5310688$90EE6C8B-9109-4AFF-ACC6-5513D04FF264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d2ad937a73c3f5003917b8464e78e5eadc401c0","datavalue":{"value":{"text":"Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310688$F44682E9-0410-4DCA-8018-14FB5D9FBB79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa8e7bc9fa3e5c899d810b877dae107c176725e4","datavalue":{"value":"1128.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310688$C80C4F71-E192-42B2-B312-96DA95A86848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae1d0a2f18039c06bc2546ba677d1966fed13565","datavalue":{"value":"10.2168/LMCS-3(2:3)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310688$94E8AC74-D360-4D57-8C1B-B8C74F71762D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d3b51f718829bdc40d57f1305c80d06e624ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":396843,"id":"Q396843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310688$6DC44A58-5D94-4100-B1F2-02ADA7CCFB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310688$C83E00FF-A20E-486B-8054-D7DCEAB61030","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310688$CC261849-006A-4CF6-8A56-2DF7DB0B57FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310688$D10BF9E2-0A67-4946-B57E-0EBF12985D28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310688$6238AC61-F76E-49ED-8118-E8C927F5AEEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaad8e81a22e412a7d96b6c2f9554d537e8834c9","datavalue":{"value":"5200158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310688$D6303238-FEA2-4C6C-A1E1-8833EBE215CC","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":"Q5310688$36DEAC99-2B62-41E7-8824-20582605BC85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9ecf736ededddb255860c467f00d0c201b472","datavalue":{"value":{"entity-type":"item","numeric-id":5449823,"id":"Q5449823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539c7a75b92b4b4f37dd84fa6a37988f7151f6c1","datavalue":{"value":{"amount":"+0.913654923439026","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":"Q5310688$637A52DE-C6C7-4907-B15F-5A4F18E87793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1895a8bc582d2e6368c3c959ca9262be83a434a4","datavalue":{"value":{"entity-type":"item","numeric-id":4202929,"id":"Q4202929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad94851f02a94348cdd36adc0836ad867a29982f","datavalue":{"value":{"amount":"+0.7913109064102173","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":"Q5310688$3CAEAE84-89E4-4DD2-8EC4-B7FC2E5955E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72258107a78d35551185ce7e9e2c5f93587f5fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3587470,"id":"Q3587470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72e7668f31148b3560fd347ca85751988a9aa9c","datavalue":{"value":{"amount":"+0.7896871566772461","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":"Q5310688$D19672C7-319E-423A-8F96-A749B9F9BC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950530a4050eca1d48ccc6a6833a44efe07604d8","datavalue":{"value":{"entity-type":"item","numeric-id":3578193,"id":"Q3578193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e3e7011bf322bee0a14de519de25307f5254bf","datavalue":{"value":{"amount":"+0.7731434106826782","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":"Q5310688$5DE495A3-40ED-4B4F-ABD4-A7EAD631D90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b56574f955aada70016fe68a08e96b5842d648e","datavalue":{"value":{"entity-type":"item","numeric-id":3613757,"id":"Q3613757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0609e33cd87f4819d11b3e3fcba1b7dbe6ec04","datavalue":{"value":{"amount":"+0.7570497989654541","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":"Q5310688$E5383F6E-B891-4EBF-BF26-97C1477C485C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310688"}}}}}