{"entities":{"Q3780419":{"pageid":5810325,"ns":120,"title":"Item:Q3780419","lastrevid":52426043,"modified":"2026-01-22T15:11:20Z","type":"item","id":"Q3780419","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4043224"}},"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":"Q3780419$C4E029B9-D556-47F6-9E8E-BBEC75080BEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0802109f70ce1fdbc2900944401084fe96242c35","datavalue":{"value":"0639.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780419$32B29363-C512-43D9-B5AB-FD147668BEFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adaa6412a873923474a00db1d33cd1db3a5bff6d","datavalue":{"value":{"entity-type":"item","numeric-id":3780418,"id":"Q3780418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3780419$89222D62-B53E-4975-9DF8-9B7DC8322B2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3780419$95055EC6-04FC-45FF-A564-4F449B346B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780419$EF8A81D9-3189-4660-8B21-1B52ECEE845B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780419$9B8A889D-8D16-4CE8-A813-203E8EC5DCD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44201710b15f97c40a32b879bf5576349c62eee3","datavalue":{"value":"4043224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780419$5FBE65DF-70EB-4681-822C-55338926B2E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9171706b2948eb39a15a44f2b1d3f5ee9e220c5","datavalue":{"value":"simplifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780419$751D5FF3-CA91-45AD-8A38-7B6CE6E145EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780419$2FAC933E-7E3D-43CA-9DA3-6299AD61E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab7bdd743da8dedff7caeb7c063be89ad5100a2","datavalue":{"value":"theories with finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780419$30B57F41-5FE3-4A85-ADF4-247A8BDDB309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"444207a511dae5364e551fa967655b207e8b369a","datavalue":{"value":"Enumeration types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780419$2F5BE3C3-5B08-4191-80BD-510157DD8A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b7e96f007eb3a56d5885b03a7cea2baaee5620","datavalue":{"value":"Pascal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780419$25440C58-B932-4485-9CE6-754D106EAE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780419$C1E6D28B-D313-4ED7-9C65-B305A130C05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780419$9F7046B8-71A0-47AA-AC8A-A184BD3A5598","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":"Q3780419$4A8ED3CD-F912-4AB9-92E9-66C42BB29CD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b4021df82a6b219169b6c7c44517624558b76e","datavalue":{"value":{"amount":"+0.7324507832527161","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":"Q3780419$94BD0429-826A-40F0-BFB9-0FCEAC62732C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67c8d20ae5b9edf979a7ab3a91e204c0ee550d4","datavalue":{"value":{"entity-type":"item","numeric-id":3192187,"id":"Q3192187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ebc602994d2d32fbcbbf1d30c71ed4be2a99e9","datavalue":{"value":{"amount":"+0.7113275527954102","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":"Q3780419$8C0AE337-7FD3-4736-9783-74D0E48936DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f61f2780a42093b7d45ae41b190c5052c4f671","datavalue":{"value":{"entity-type":"item","numeric-id":3024867,"id":"Q3024867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49859f5290fb0bf6fce866f9f54547f73eda45e9","datavalue":{"value":{"amount":"+0.7030272483825684","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":"Q3780419$62F57C20-F4EC-4BFE-896E-5FDA60EF497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c46fcda057dacc5a2893827e366d6dbe3590a3","datavalue":{"value":{"entity-type":"item","numeric-id":1006733,"id":"Q1006733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a906e308e9e799dcfd9864886c718a56adae69eb","datavalue":{"value":{"amount":"+0.696988582611084","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":"Q3780419$3F35915E-61FF-4D25-A468-CE3A074A3111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872e44b867c29ae43878362674805dad6a4aebc4","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3418dec21ae761c4746bdabd5ba17fb1443fecbd","datavalue":{"value":{"amount":"+0.6936075091362","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":"Q3780419$FB83D3C3-8962-44CC-B596-80ACDC110F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3780419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3780419"}}}}}