{"entities":{"Q2720403":{"pageid":2731142,"ns":120,"title":"Item:Q2720403","lastrevid":82898183,"modified":"2026-05-06T22:22:25Z","type":"item","id":"Q2720403","labels":{"en":{"language":"en","value":"SHR tableaux -- a framework for automated model generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611144"}},"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":"Q2720403$E9B7DB31-AF98-457E-9184-A6846D2CC045","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07814379b092079707fe884b3aa8774e786d73e0","datavalue":{"value":"0986.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720403$3AD1AB90-4023-4843-9EC8-8B5F04B2007D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2131d40ae5f630a172df7d335126c7c52e83c087","datavalue":{"value":{"entity-type":"item","numeric-id":2720402,"id":"Q2720402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720403$501D2296-163F-479C-B5A5-9DDDB67027E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-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":"Q2720403$26F66E76-5392-4D28-8670-9BA035B0E7A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720403$8E70D351-A826-422A-BA00-516DB4808A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720403$11D1E750-4FA1-4786-87C8-A50B7B713DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720403$F8440494-AE1B-4832-83D6-02D77CB114A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e1ee1b0669d2579a8c8a8ab172514fca8c824f7","datavalue":{"value":"1611144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720403$EFA0DE0D-14FB-4A42-AA5C-7429B1EFFE14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5534526f36107ded82686a8431e6d5996de0e0f3","datavalue":{"value":"automated model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720403$ED627012-57AD-4F8B-97AB-78FD8C64C2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720403$DFAF1A46-4CBF-4C01-9DF9-03669CACA551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720403$2680358F-5182-4B83-96CA-DA62C9654C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12adddabf734c2849d65ff63b13ff69871dc9ab2","datavalue":{"value":"ground term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720403$56828B3C-9641-4AC1-B527-E13A88742135","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":"Q2720403$120DDF5E-95A1-41AF-90F9-3A4A35853C85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5b0550cf662e6334201a82be6c56b5ae012cf12","datavalue":{"value":"https://doi.org/10.1093/logcom/11.1.107","type":"string"},"datatype":"url"},"type":"statement","id":"Q2720403$36B6119C-533A-4CDD-B1AC-79B30FAEDEFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18927e0e28845ad0aa690425e9a043290620af16","datavalue":{"value":"W2127008632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720403$EF2EB0CC-274C-404E-AFD9-BA44DBAA5642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d23a2af7142166e9a35f38beb557c4f3df7ddfb5","datavalue":{"value":"10.1093/LOGCOM/11.1.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720403$F9C25BC2-F372-4FE0-B865-BD883F709C30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d660f7b33c96b341f1c853be030e7683893fa0e4","datavalue":{"value":{"text":"SHR tableaux -- a framework for automated model generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2720403$D69A7B0F-DA2E-4983-915A-2225DEDAC358","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720403$41CB33CE-A6AE-468B-A835-2DAAB1C92E62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0aa8285f0ca71bad512f517937dc940dfb8db","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9488e644bbc038fa8ad1099eea97f009593429ba","datavalue":{"value":{"amount":"+0.7707424163818359","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":"Q2720403$205F09E1-5E98-4FF5-B89D-3672CDEAA20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bd3f4c6d2d1e6a09a1e1f27261e7bbd79034fb","datavalue":{"value":{"entity-type":"item","numeric-id":5187867,"id":"Q5187867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf95e550195d02140af9ebf80abdc7880981f026","datavalue":{"value":{"amount":"+0.7698609232902527","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":"Q2720403$89AF0A98-22F5-4F62-916B-AF27F8D0B75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d722f8f40862bf2bef4161b78b32e2449d83c4af","datavalue":{"value":{"entity-type":"item","numeric-id":4272502,"id":"Q4272502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ff0ffe638ae7cf6f181af5e7451ae4ec7bc8db","datavalue":{"value":{"amount":"+0.7685151696205139","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":"Q2720403$175368B8-C0D6-4F74-9583-33B5CC076BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da3edaa3ceb82d933832b948fb1b46585010884","datavalue":{"value":{"amount":"+0.7659322619438171","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":"Q2720403$A11C9F18-9557-4D45-9628-7C791848FB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4029b2e074921716daa1b5f9feb07d1e18858876","datavalue":{"value":{"entity-type":"item","numeric-id":4237680,"id":"Q4237680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9394ab74d85b9332c2de22c7eb12aafcd609bc7d","datavalue":{"value":{"amount":"+0.7648004293441772","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":"Q2720403$E7BB674B-E600-4507-A0BE-BF83BAB2484C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SHR tableaux -- a framework for automated model generation","badges":[]}}}}}