{"entities":{"Q3068633":{"pageid":3079349,"ns":120,"title":"Item:Q3068633","lastrevid":51165401,"modified":"2026-01-17T00:58:22Z","type":"item","id":"Q3068633","labels":{"en":{"language":"en","value":"Approximate satisfiability and equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5837589"}},"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":"Q3068633$727BB18E-49DD-4393-BB53-8B8D2B6F32E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2aec852e78e324f9b9a2b631c2783093f99dd46b","datavalue":{"value":{"text":"Approximate Satisfiability and Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3068633$E6E27E97-BCE1-4192-A6FE-9E31F968CA7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28309ebd9f40294d96f17d5345257555b51d246f","datavalue":{"value":"1207.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$ED264179-532F-40B4-9748-6D4976770A29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73700616ce43c445b1dffca44039e63bc723d6c4","datavalue":{"value":"10.1137/070703776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$D4103AD0-F877-41B5-8D3D-1E27E42F4BFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95375ab593e764f82a2af7d2dbffdda71fec7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":178699,"id":"Q178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3068633$A7EA247F-8481-42E5-8A44-C0D547E88A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46a981460d9581fc5d0b55c32b7f133adcad3559","datavalue":{"value":{"entity-type":"item","numeric-id":262273,"id":"Q262273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3068633$A5C9FB26-6E5E-4A64-B3C6-B23649B867BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e38f44f92389eaa1d1b2869bbb5096286d7e4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":264561,"id":"Q264561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3068633$1EE2B8ED-2EF4-4624-BE43-262A763AA733","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3068633$D53BE936-EF6E-49D2-AD3F-E3ED2D292D0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0883ac07d245f1112570cf26b29891637a99bfe6","datavalue":{"value":{"time":"+2011-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3068633$56512BA4-8C08-4103-84AF-C9DF6123E213","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$A5E13A24-5513-4280-B45C-EE4F25DA2E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$524773D7-AC06-4B9A-A031-787F7560B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$65A9E5F9-E36F-4F3B-AD86-30E79F31F776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$784AC92F-8FBD-4238-B7F9-737B5E105D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$D95B5CE7-FAF9-48AA-A853-F45106D9D7AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06bc82b1c11fc2781f09e25dd1585c3fa1f4702a","datavalue":{"value":"5837589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$6AE8459A-F123-42B4-8D79-AA062BD290C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"224ff2bbfc7c58117374a70f4f1e0cef36d93a7c","datavalue":{"value":"equivalence testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$4FEE3589-23AF-402E-939E-DF159575215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f994572072e04f3d761c23f62300d654cf5ea0","datavalue":{"value":"\\(\\varepsilon\\)-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$7E90AF0C-A6AA-4ADD-ADDD-E36DD264F43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709f078ad457274605495eb056232530a7862f8e","datavalue":{"value":"\\(\\varepsilon\\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$D5200D8A-4119-4C5E-A415-64EA63E96333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7f5162bd0558012745512aba5ec916dfc72f9c1","datavalue":{"value":"edit distance with moves","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$77968E08-66E5-4A6B-90FB-2DEAF3435747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a38be7c34a3860f7223c45c1842f13001adebdae","datavalue":{"value":"monadic second-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$0B83F9F2-02A2-4E31-92B4-C8CDB219A4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$ACC3B9CE-78A4-426D-BF62-7AF59C7CC3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$C14D4395-52FE-4585-8081-9E4BFDFAF6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4077c9f9f9393fbd37ebf1d32eda6fcefc63048a","datavalue":{"value":"infinite regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3068633$266C7C13-39BF-48C7-A7EC-90516BACF434","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":"Q3068633$B0D9ABC6-B0F5-4795-824B-F7958BCFA8A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c8a4901e5588b4f7d97d95d991370d3f6c0635d","datavalue":{"value":"https://doi.org/10.1137/070703776","type":"string"},"datatype":"url"},"type":"statement","id":"Q3068633$3960991D-F330-4E93-9BB6-E570FDE448E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69e95e8d6bd521c1d162d317010bb7511ca04a8c","datavalue":{"value":"W2052516237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3068633$8348FA73-59F1-4461-A329-AF0300AE5377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c24a5e8dcdd59aa4d6a11c60844299df708726e","datavalue":{"value":{"entity-type":"item","numeric-id":387000,"id":"Q387000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea285780d931206f72f08623aecc23afdebd4f6e","datavalue":{"value":{"amount":"+0.7732452750205994","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":"Q3068633$0ABCF347-BF5B-4C45-956A-ED9714430D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f60e7dcf45d571640ce975e246acae7758092ee","datavalue":{"value":{"entity-type":"item","numeric-id":2461542,"id":"Q2461542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a861d4fdd941e59dec310a2db29cb1aef2b2e39","datavalue":{"value":{"amount":"+0.7663435935974121","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":"Q3068633$9E8FF318-27AC-4A29-A60B-6DD26550239D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18da40c438d2843d8af358a658813d15304d630","datavalue":{"value":{"entity-type":"item","numeric-id":5466526,"id":"Q5466526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803c9c1f26eba740dc7c2ea12d54bfbcebece74b","datavalue":{"value":{"amount":"+0.7621394991874695","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":"Q3068633$6244C1DB-7ADF-4DB1-BD61-C59E6DD61B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee908d0f78815a812645b0e14dfd0748f487965","datavalue":{"value":{"entity-type":"item","numeric-id":2706138,"id":"Q2706138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d8813fe506986be293f77a36bb3078634ba967","datavalue":{"value":{"amount":"+0.7502381801605225","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":"Q3068633$8022B78E-2F51-45A1-BEC0-CAC4910F9979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd77df74306b6fb83fa0503d63ad77eb0054cbf","datavalue":{"value":{"entity-type":"item","numeric-id":264563,"id":"Q264563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d8813fe506986be293f77a36bb3078634ba967","datavalue":{"value":{"amount":"+0.7502381801605225","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":"Q3068633$9C9740AD-1F66-4982-96EC-CB6F308E745B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3068633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3068633"}}}}}