{"entities":{"Q3010356":{"pageid":3021080,"ns":120,"title":"Item:Q3010356","lastrevid":85714154,"modified":"2026-06-03T11:15:52Z","type":"item","id":"Q3010356","labels":{"en":{"language":"en","value":"First-order tableaux in applications (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916699"}},"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":"Q3010356$8391135C-FA2C-4BD2-A037-D964D12A94F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c06e80d33e2ff1f3bca56b13da966fdb00799d8","datavalue":{"value":{"text":"First-Order Tableaux in Applications (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010356$173CD796-A123-4E07-89D8-73A81AA1EFA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd446ba3a83e6790501c2b0b18def412546d9c4f","datavalue":{"value":"1331.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010356$BF9CF2A4-D4D5-49BC-8CF9-FE5CFB0F0C64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dc6dce6a1f6c87f72dadddd64999edc0ea5e50e","datavalue":{"value":"10.1007/978-3-642-22119-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010356$1A760B36-1EF1-407B-993B-85016B8A7F0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010356$7FA9EDF5-E9BA-4228-8420-F663AC40206C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010356$654D8CD7-C90B-4911-B453-2182E65E1566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010356$9B46C811-3867-4F9D-BBF4-1DE03628A232","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b8af37c813c6a454ef350f5b224e8ba9b16793a","datavalue":{"value":"5916699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010356$1D69AC5D-6B53-4984-8F90-54E1C40D0158","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010356$4A308500-2700-4DF5-ACBD-ED4522F11269","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010356$9BEAF0F6-FFDF-4BAA-A719-507149CEB335","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":"Q3010356$956F169C-154D-4D68-A692-BAD1E31F7090","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50749dacbe6086bbeb60b800f25ed47e27651455","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010356$4B0C5138-4F41-4B8A-B344-729B0410FC5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"942b94ddbd82d871150d7285bb2dafc66f32e1bb","datavalue":{"value":"W2215949609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010356$145ABA4A-4713-4812-BFC3-8A5CDD54DF98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20a28bc016e176ffd0d442e4a0f474a1411cb4e","datavalue":{"value":{"entity-type":"item","numeric-id":3608795,"id":"Q3608795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010356$35933EA7-D979-45C8-9336-2F28F1DA59F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4ca49c324b4a61084383a56d3924162d9b5f80","datavalue":{"value":{"entity-type":"item","numeric-id":3568232,"id":"Q3568232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010356$0FDF2DC2-9FCB-451C-876C-D9D5382173E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68d1d3a16c7fead546f5df81445c9067a390b94","datavalue":{"value":{"amount":"+0.7638630867004395","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":"Q3010356$2632E01C-FFC2-4B73-BA3B-7778E55E2A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b91b983fa2c75285aa70d29c690c153aac91f0","datavalue":{"value":{"entity-type":"item","numeric-id":3142015,"id":"Q3142015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246966ced1a7872e96adc72e335958660d653f77","datavalue":{"value":{"amount":"+0.7593793869018555","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":"Q3010356$3A139325-CE3C-4326-B866-BD14C94FF9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da657fd44c726c61a2711d500157ed468bb8ba02","datavalue":{"value":{"entity-type":"item","numeric-id":928656,"id":"Q928656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bb7f62e65ee7d5b186e780963032d08ab1b797","datavalue":{"value":{"amount":"+0.7572099566459656","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":"Q3010356$567CCC3F-4BF9-462A-A3C4-1DEF562723FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea418b5c37c05cbc22dc15036ee411cc9ac8942f","datavalue":{"value":{"amount":"+0.7479775547981262","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":"Q3010356$2708C06F-258E-46BA-A66F-1B5CFF059E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06d12b121664ef6f13103b8e3b8ce9feb51472e","datavalue":{"value":{"entity-type":"item","numeric-id":3455764,"id":"Q3455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942c126149a47bfeb96ec94926b7d09aa242c8bb","datavalue":{"value":{"amount":"+0.7386731505393982","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":"Q3010356$ABAEF226-A63D-4734-B8A8-8D65C26291DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order tableaux in applications (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_tableaux_in_applications_(extended_abstract)"}}}}}