{"entities":{"Q4263168":{"pageid":6292769,"ns":120,"title":"Item:Q4263168","lastrevid":46667178,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263168","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341619"}},"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":"Q4263168$7832A449-5E1A-4CAD-B66A-E70E7A3379B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbc2fe05466568e225c049b7e4ee9f9ee08ed030","datavalue":{"value":"0937.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263168$6AF92B49-DC97-4C5F-8A07-E579F8897B14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263168$334D4731-3E6F-4DC1-8BB7-64AE7916C0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46afdc2ba8b421b99618c98d29e4160d6699ffe","datavalue":{"value":{"entity-type":"item","numeric-id":1119560,"id":"Q1119560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263168$C44C876D-09E8-477E-B0A2-B870833447F4","rank":"normal"},{"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":"Q4263168$48C4DE6B-BB65-4B6C-9EF3-DA42B0EB640C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0567ac9f2a03fdd4e0e3913b80e4563364e3bac","datavalue":{"value":{"time":"+2000-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263168$96C5C2EC-04B7-4F82-A38C-5BA0884FC8DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263168$AF6E5BAB-1FBB-4F05-9304-649661D629E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263168$7392DB5B-E30A-4575-B071-64B355D311E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12de38af5e5147d56ab4a9ccc9cd4bf01c70d4fc","datavalue":{"value":"1341619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263168$8D2B182C-B182-4206-98A7-1EFCB34071FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcec466f29bac86724a6f68cbda2b87ff1504089","datavalue":{"value":"proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263168$073CD97A-D29D-45B9-B9D7-B78ABB7242DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4712cd6e62669e4b35e3bd085e682682754f150","datavalue":{"value":"proof confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263168$F7B7B471-CB7D-4ABC-AFB4-A207F4F91C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766bc9001b5479b4eed866a142c947c3a2ff8d0c","datavalue":{"value":"connection calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263168$A29C9F9B-FDFA-4FC9-BB73-A4ACDE859E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"376e4f50a8fdb7043f2c43cc394dcb63b4ea9996","datavalue":{"value":"backtrack-free control regimes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263168$5D550013-C407-4382-BBB8-CA55DF878C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e4358feb896e0c156e649ee4a8838fbba9f4ce","datavalue":{"value":"effective search strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263168$C57BA7C1-928D-4AB2-A196-24491FA1AAB3","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":"Q4263168$4105239D-F283-4030-97BB-E7606197B05D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea9b2ab3b7a1374a6df2289672374b9b91effb6","datavalue":{"value":{"entity-type":"item","numeric-id":4530455,"id":"Q4530455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079c6a14b7fc09847b04af6fb3f21e3c7aba5fad","datavalue":{"value":{"amount":"+0.9176628589630128","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":"Q4263168$2FA51250-199A-4588-B4A4-9D2E848A288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3d53cdeb7af6c2e18d05e04dd01bf075e959e9","datavalue":{"value":{"entity-type":"item","numeric-id":4412862,"id":"Q4412862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bdd6e3679bbca0d99ce159973736635f1845bf","datavalue":{"value":{"amount":"+0.8175756335258484","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":"Q4263168$FEBD7A38-D1F8-45D1-8C46-9199EAA208F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41eae31321cb8f4d5091ef38abb8a9ca30ef670","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0812b69c8dc5a4e1277a5ea91f8d7bf648350875","datavalue":{"value":{"amount":"+0.8075938820838928","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":"Q4263168$290F62C6-90AD-49DA-92AC-41850932C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4abf2e81b7987d01d375a51a06964548a7bc35","datavalue":{"value":{"entity-type":"item","numeric-id":3568228,"id":"Q3568228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa8a059b2e8a2ea78a4e84d4c3916cbb1652643","datavalue":{"value":{"amount":"+0.8016478419303894","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":"Q4263168$4FFDD63F-F6A5-47E8-8BC8-A50BF18ACFEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263168"}}}}}