{"entities":{"Q1944184":{"pageid":1954926,"ns":120,"title":"Item:Q1944184","lastrevid":78060482,"modified":"2026-05-06T10:41:31Z","type":"item","id":"Q1944184","labels":{"en":{"language":"en","value":"Modular instantiation schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6150476"}},"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":"Q1944184$784AF83D-62AE-4C8D-ABA4-7B0311C3CFAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d233d124f4f938eaa5c257d3bc6cc16d35d54c41","datavalue":{"value":{"text":"Modular instantiation schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944184$6CE82FA1-6B67-490C-81BC-79AE0D895F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73c5b5dc065169137a219576dc710471f1342ef0","datavalue":{"value":"1260.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944184$0CD8761A-948C-4BD6-BF89-C59F543D4E0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$5EBBEECF-1FFD-4EDE-8F71-F88D94421192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$CDBA3148-2B0C-4878-9591-361FF1137932","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$62FE5D37-4222-407B-9ECA-5E6F08EBEB8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed03f72b49df8968931f2c7d2aea5cd917c04029","datavalue":{"value":{"time":"+2013-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944184$A8D7B9C6-FAE5-416B-84C6-F1F0A56C98D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944184$3BF08B24-0C7B-468B-BFE3-D3CF9012B9D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fad32c93cff57377c9ec13bffd4592d5a7f14956","datavalue":{"value":"6150476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944184$8BBAAD8B-1CAC-4F89-B352-3149507C55F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944184$C7E93360-A9FF-47AE-9142-E78AF0F02CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944184$C03D3B0F-65E7-4F1F-855E-EABE974E3354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520caff4df95f592d836fe424a1f572c7b247ee5","datavalue":{"value":"instantiation-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944184$085AAEFB-5EDE-4FE9-ABE0-0B511AA7CD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00109a6e887e08af2d0ebca5eada4ee38024edc5","datavalue":{"value":"combination problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944184$B3BAD07D-1579-4045-98F1-FBA498721CFD","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":"Q1944184$A70A87EC-892B-4E0F-A4AE-9F299D866BE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9338522ac29e10df6a33e3d71594b12d325ae5a","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2011.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944184$CDA3794F-3128-4F4E-BE19-8F4FCCAE0268","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b72272b5de667bd35c0af08dbc703036496d2501","datavalue":{"value":"W2052829079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944184$BE6F7C4A-4262-467C-93AB-F7869C5EB828","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"280010c88ea3654588239b55152e0eb25171e531","datavalue":{"value":{"entity-type":"item","numeric-id":1041587,"id":"Q1041587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$F30147E2-CA33-4705-AB96-DA9F77A3CBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$E79765E4-9EEF-49B3-9D5D-3BF92E67D8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$A21964C9-4F33-4833-BFF3-2E120F853322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc77de3644248ac328d0c18956ad21c33a09262","datavalue":{"value":{"entity-type":"item","numeric-id":3651277,"id":"Q3651277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$975D6291-5D67-4111-A4D2-325375862FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cee7f226ab035517f34608b00a0849095a285c7","datavalue":{"value":{"entity-type":"item","numeric-id":438578,"id":"Q438578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$B07498E2-B615-4665-87C9-560EE305F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$E36165BA-5C34-4E11-AE7A-79382FEF6725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933b22d452873c71c1e8647c7fb6e720bdb4daaa","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$53CE37BE-9DB5-4A99-B3F2-26EC4346EB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$3FEC9CF9-133E-440E-9C7E-5A92A7E1E4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$69DBC538-45E3-4F96-B97D-BE67B011E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$788D99AA-F8C5-4131-94B1-82EBDF717934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944184$B1E6C5C1-495B-4B24-AADB-A1C49D02E60C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f53c785c67d3838974a2d6002b5ee27430f7e126","datavalue":{"value":"10.1016/J.IPL.2011.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944184$F6226185-9CA9-4082-96D1-CC0F84FAC1D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8af80161dc8c18c8bc8a8c02cd47c9c758f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":438578,"id":"Q438578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95ba85290d829d77d5fdd1867ea1d8ea454cec7","datavalue":{"value":{"amount":"+0.8560587763786316","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":"Q1944184$AB6E89A8-1DF4-4F2E-973F-1F960121F109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4130514749cb47703e11d6c44c3f6000131b7c88","datavalue":{"value":{"entity-type":"item","numeric-id":2946696,"id":"Q2946696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12a6f1c3ec614d58edaee7cb0f7a51a62ea6aa9","datavalue":{"value":{"amount":"+0.8131057620048523","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":"Q1944184$BAA5CFE9-97E3-452F-8441-14F25EA57D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163d4150362be8e1e2f5d5bb6dfb8185f2a5266","datavalue":{"value":{"entity-type":"item","numeric-id":5387915,"id":"Q5387915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886002e28c01c2c3abf2611620b066f44c63075e","datavalue":{"value":{"amount":"+0.7993384599685669","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":"Q1944184$0963C06B-0C9A-474D-9CB4-A2627419F080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af69d6db622a43b899210ae0c79af2cf40708bc","datavalue":{"value":{"entity-type":"item","numeric-id":3582696,"id":"Q3582696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee0e1ee6028409bd66a440f5c5a30cf22e7c3c9","datavalue":{"value":{"amount":"+0.7965746521949768","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":"Q1944184$FF295C69-45FA-41BB-AB32-810A9B6568C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366160be39060c2677294b30ffb9bdf80367eae4","datavalue":{"value":{"entity-type":"item","numeric-id":549666,"id":"Q549666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4788a79c147096fd3f967637608de8dc844da25a","datavalue":{"value":{"amount":"+0.7671592235565186","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":"Q1944184$1F9764D0-958C-48EB-A1F1-07EA85874D3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular instantiation schemes","badges":[]}}}}}