{"entities":{"Q3608767":{"pageid":5638673,"ns":120,"title":"Item:Q3608767","lastrevid":50592107,"modified":"2026-01-14T12:18:25Z","type":"item","id":"Q3608767","labels":{"en":{"language":"en","value":"An Incremental Technique for Automata-Based Decision Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523768"}},"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":"Q3608767$E0A4128C-0ADC-49AA-9541-F6C6CFB82223","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be31105191f8c2ff384678caaeed4e7a2a7d2b90","datavalue":{"value":{"text":"An Incremental Technique for Automata-Based Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608767$CCB99255-F500-4A3D-BF32-E039D6441474","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d49c8733d8b42dbd9268572651191268b0bdc1bf","datavalue":{"value":"1213.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$DE4480F9-BB42-4DBA-8170-92CBE1E3BCD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8abf1be2fb5fec730a15901f2e5e9952b49c7e36","datavalue":{"value":"10.1007/978-3-540-73595-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$5538911A-07E5-47F0-8EA4-182F5AAC0552","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f270c61a436b836c5d3fc57a606c5ed6ced25e67","datavalue":{"value":{"entity-type":"item","numeric-id":246448,"id":"Q246448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608767$29661B9B-DEA8-445F-A3C7-586E76FD8DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7da8f3474efa230b7cf79910c5d9dcc348d172f","datavalue":{"value":{"entity-type":"item","numeric-id":347397,"id":"Q347397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608767$8B62CD71-30B2-4313-AFCF-DF4A26439E68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608767$950E31D9-A40E-4D1C-9451-97C80BDB3AB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608767$152C4B71-3832-4CAD-92D4-9D9E45B2B65B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$B6C79048-29AB-4FE5-A445-83FB5CB3C705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$39BDFA69-D535-4D43-A1AF-4B0CAB92849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$92B2F766-15F7-43B5-B5A3-420840740936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$60AB8859-C56B-4B09-8385-467C8A921663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$0CA88907-E4FB-4CF9-A605-0FF48979A0F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ce4f5ff8b7b75e24416219363fe2871cd22752","datavalue":{"value":"5523768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$16D7ACD3-C6A2-4DE0-A363-15D678877800","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":"Q3608767$386D7E98-49D6-47E2-8B89-F8B469C1CBB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51a998fd4f472eaf8c713db3bb9f327a91bc9cec","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608767$EDA5BA65-862E-421C-8D33-67958F16AF0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3335ea73b0078e28362a46f5f5f82d356a82667a","datavalue":{"value":"W1504183634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608767$CF2F9705-2C5E-4CFB-8E03-50627F63F7E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09d1e67bcd5d08c719deb03f2b46d860d9ca593","datavalue":{"value":{"entity-type":"item","numeric-id":347398,"id":"Q347398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942c7e1feeffa4e8e9d3c82de0ef16d2deeccf54","datavalue":{"value":{"amount":"+0.7314433455467224","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":"Q3608767$C10C60DC-5304-4A4E-A456-3286A72EB18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b92ca084b81af76302e3c16a35d3d3ea897367","datavalue":{"value":{"amount":"+0.7293407917022705","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":"Q3608767$4DD78EC2-AB94-4162-81A8-BDA20143DF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05c6d81bdfa4108f2311ecefc05af5d436eb1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2799178,"id":"Q2799178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096b2a355c1b0cbda6159b1a7a7fdd2c51dcf357","datavalue":{"value":{"amount":"+0.7103779315948486","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":"Q3608767$D709C4FD-8AB2-43CA-A34F-D24AF05E6B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a895ade4eace2c9f4115015419a3b1c7806554","datavalue":{"value":{"entity-type":"item","numeric-id":3608653,"id":"Q3608653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0787a5135da88f0bc1735baabda0fdb2c351ecad","datavalue":{"value":{"amount":"+0.7097519040107727","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":"Q3608767$9A3E2EFD-CDEC-4D28-8E29-DB5146C68D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317602f88d918975d61bc88ae967bfdb6d41945f","datavalue":{"value":{"entity-type":"item","numeric-id":4796537,"id":"Q4796537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41463ea348f05ec162dc834be7f4ee9b72a91b8","datavalue":{"value":{"amount":"+0.7090693712234497","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":"Q3608767$46DBCA74-6F24-4B50-A498-9B61F4881536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608767"}}}}}