{"entities":{"Q2946756":{"pageid":2957476,"ns":120,"title":"Item:Q2946756","lastrevid":52347668,"modified":"2026-01-22T10:12:27Z","type":"item","id":"Q2946756","labels":{"en":{"language":"en","value":"An evaluation-driven decision procedure for G3i"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483248"}},"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":"Q2946756$225789AB-1D23-4267-BA89-EF176D140216","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f82e33bfb274ebfc15301bf9035739e07cf8e2f7","datavalue":{"value":{"text":"An Evaluation-Driven Decision Procedure for G3i","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946756$E0F09BC4-50EA-4098-A109-43968BDA5C47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6600e54df31250773d983a3893b354f9619a30ca","datavalue":{"value":"1354.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946756$AD456D53-BD90-4D3B-8FBB-2796E05CE234","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67008a6295823ca41c842fe2dd7f24577cfc6448","datavalue":{"value":"10.1145/2660770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946756$B1C122B7-D956-4F06-A63C-2F392B83C3CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$CB72976A-9967-49EC-8E03-A89786557F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$34D7B9C9-7D90-4689-813E-F7DF22482DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$79239012-7C86-4FA5-B477-A0D4AA1F6708","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$A53B3E0B-1123-48BB-AAC0-5CDC78D92760","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946756$EC56CE37-D094-40D0-9C35-746C367F3504","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946756$4051742F-E89C-49BC-976F-1D2F190F46EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946756$13C2955B-E943-401C-9DA6-585914E0015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946756$AEF3F5B4-51C6-4A1C-AD5E-E5E56B715E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11190c3ff70d019741bb7fc6f4970f985896f7c0","datavalue":{"value":"6483248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946756$88003292-5E55-4E3E-A876-245753FF9F56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3203ee1f1b5a8c18e7e890e9f5e3030a597daf","datavalue":{"value":"proof-search procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946756$0B4F785B-32B5-4E1C-8F3D-EB86922F5942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946756$2977C1FF-8B51-4E62-BCE1-3B6966DD2C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946756$85F2EF6E-71F7-4BD8-89C7-6FC5049C676B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db9a3e11bfc8def7d98aa39e62594c2c96cc2801","datavalue":{"value":{"entity-type":"item","numeric-id":23329,"id":"Q23329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$8AE5C1CE-07E3-4B8F-B322-A6C43B76051C","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":"Q2946756$8A344A94-9D4D-4159-898C-B565018A8B6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff629ec16962efa97402012b520bb366d8e29a82","datavalue":{"value":"https://doi.org/10.1145/2660770","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946756$741902B2-7086-473B-8846-32E6F5935AD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d5ddd739365d0a4bf300165a6b9eb55fd09f92e","datavalue":{"value":"W2113939721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946756$CFA0DE5B-B5FE-433F-BF49-D2C6B8B32A68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$80913F10-AF97-41C6-B0C9-911098431B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72ec4eed4985602e7824e9b3bf75884c0f15d45","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$C569722E-E32D-4F72-9D28-912275B496EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d9171bcd537f99ca73f137eac75de8cf775456","datavalue":{"value":{"entity-type":"item","numeric-id":5444696,"id":"Q5444696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$02C1B685-0B4B-4E25-A605-27997DEDC2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$847390C9-62BA-41BA-A9BC-B94E3FE56375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$69DA4398-CBBD-4C3A-8852-942B329D7E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1480c2f8d2942eccfb38a00f88d4c109ada2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3647294,"id":"Q3647294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$E14069C1-D06F-4D4C-A171-FD1411A6220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6415e299b5771a743ef6603f15f330af0061b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4933312,"id":"Q4933312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$0EBCC293-75A2-4E2D-99F9-5ECDF676877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620dd26102ee661ce24f776b2a3b6e36d331247b","datavalue":{"value":{"entity-type":"item","numeric-id":2946662,"id":"Q2946662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$50AE1AEA-C4CC-43E3-952B-5E030F248188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfea43aded2479ac21730ff47e6c42135cdad0e","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$8ADD75E3-8028-4CB9-9B24-3C7DC16319D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a670aae163c22f2639325695a7853c2de81d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2851938,"id":"Q2851938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$3824DAAD-C6D4-41DC-A4D5-7E9A4A3FACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aeff44231374374fbd56ecfde39f4fdd5a2740d","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$0EC86FC7-74A1-4439-8EF1-696B196A227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$21EE8653-4E60-4345-A63E-FD05ED347ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0d4c2d95b428d7f5e0cd7b276542ece2442854","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$DE534923-024D-4B9B-8A7C-15A21853E057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca7ab1e9ab8ddfd18235a6bc75423962b3df766","datavalue":{"value":{"entity-type":"item","numeric-id":4340932,"id":"Q4340932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$49747CF8-A3A0-481D-8ABD-63EC82D86D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22e68338ce91d5f7b421aaf2ecefb70507cdce","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$119AF3E7-1BAD-48B5-8D0C-0DDBDE144196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a595a5a77e03a5752581523c5152bf0f896014","datavalue":{"value":{"entity-type":"item","numeric-id":4883282,"id":"Q4883282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$7EEEA65B-0F3F-490C-A4A4-A5359F05DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366403401f7622593b34e9b9dbb671be627d25af","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$E6476457-C0F5-46E5-882A-E9D7498F42A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946756$04AC58FB-579E-4333-85EA-967FF8802305","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59df2915507b58bda40c43f4ea4f622cc2576c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2851938,"id":"Q2851938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00ae524389ffccce3fced67d08abdee99a9d755","datavalue":{"value":{"amount":"+0.8702328205108643","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":"Q2946756$63A83B77-F15B-44E3-88DF-06D24A4561F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360077cc543b894dccfee767977ab924bb2417d7","datavalue":{"value":{"amount":"+0.760553240776062","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":"Q2946756$413B5E28-3B15-46A7-81B9-6199C23A57B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245a7c5427e357333a048905447b1d456553b6a7","datavalue":{"value":{"amount":"+0.7560173869132996","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":"Q2946756$6A8AD89A-386A-4AE8-9B93-437C180C4438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a7ad3822057c63fd97893fb1ae3fd5abb0f02e","datavalue":{"value":{"entity-type":"item","numeric-id":3187008,"id":"Q3187008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5f3ca7f221df5dca2da8cb5443bb647f3f169c","datavalue":{"value":{"amount":"+0.7526574730873108","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":"Q2946756$AFB48F65-DD67-458B-B603-9DEDD80CFCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5760ed96f5598ff9201be02c91f4af724db840b","datavalue":{"value":{"entity-type":"item","numeric-id":5444696,"id":"Q5444696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62d5cddeed297b13635ec5af6978a98205a8116","datavalue":{"value":{"amount":"+0.7396923899650574","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":"Q2946756$C6E0FCC2-65BE-448C-BA78-1A819A4A378E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946756"}}}}}