{"entities":{"Q2782479":{"pageid":2793217,"ns":120,"title":"Item:Q2782479","lastrevid":47764915,"modified":"2026-01-02T15:28:13Z","type":"item","id":"Q2782479","labels":{"en":{"language":"en","value":"Combining WS1S and HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1724408"}},"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":"Q2782479$6F175800-10B5-41BD-BF5E-72746ABB62DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74df681de6c3d98b18a5ab5d3f2288ca3260d0a0","datavalue":{"value":"0988.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782479$91CB43D8-9564-4439-A308-02145A991358","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"216c3bbee331bb3268d1fb25b59225a0a959366e","datavalue":{"value":{"entity-type":"item","numeric-id":1405994,"id":"Q1405994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782479$3AE27047-D85C-4911-805A-B5D64A40F2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782479$ED174B28-5392-4AD0-BF2F-9E11A50C1EC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2782479$A0C8E510-80D6-4141-BF19-483F2CCEE230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782479$0040B742-A85B-49B4-AAF5-C8E3236807A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782479$F2F1EE0A-670F-4B49-A729-40A1EABF74F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782479$4A8155C1-6561-40AA-8A45-A72511908348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c38d006ad7f7ec07d96909ab30cf62d39d25acb","datavalue":{"value":"1724408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782479$377D8FC3-BA4D-4E6F-9CB0-6FD466F9C12F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17efd3df17fd0f330f0a2a3536cf207eb96c65","datavalue":{"value":"combination of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782479$8D653011-D4AE-4157-B808-1E12196E1E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782479$D39DE080-C9C4-4331-9662-7354199511D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782479$BBBB672D-AF6E-438B-9F84-B1AB6414927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782479$BCE96F33-91C2-45B0-B60D-3514AD111E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c7f9d4881be37cda41bb0b721fe529e68b86ad","datavalue":{"value":"weak monadic second-order logic of one successor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782479$8FB4B636-7C67-4863-AE17-B77FCA46D2A5","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":"Q2782479$DCBAE0DA-BD19-4458-A3B7-76341A8F1CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"191a69cc9a51b637be6645dbc55f177aabff64ea","datavalue":{"value":{"text":"Combining WS1S and HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2782479$233988F9-1B23-4952-9FCC-54D7A23FF9A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a492c266f8d63763508771fbba3b92d8128ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4783320,"id":"Q4783320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fb91bbdb1e2b5d36d6f4aae8e329c15c47ebe1","datavalue":{"value":{"amount":"+0.7384068965911865","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":"Q2782479$0CD0F53D-02BE-4D07-977D-02CCA3302D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda4b9f3b9fb9cdc5205cfe3aeb3a793ba49afb","datavalue":{"value":{"entity-type":"item","numeric-id":3079918,"id":"Q3079918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c3a4587bbdbd2c60ca77cbeca400ef6e1da624","datavalue":{"value":{"amount":"+0.7343137264251709","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":"Q2782479$F369251B-B31A-4D25-8EB5-C0C871EE1465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1fa7e5f42c719db599cbd7dadf9a5cefeccf6b","datavalue":{"value":{"entity-type":"item","numeric-id":4540967,"id":"Q4540967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa1fccb9eb60ca07bc4e0169c72f96517ca2a68","datavalue":{"value":{"amount":"+0.731041431427002","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":"Q2782479$F3EF434D-7BE1-4AD0-B4C1-1FF91372F21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21140257807716c08a63ab2efffcbe889a1ed49e","datavalue":{"value":{"entity-type":"item","numeric-id":5277797,"id":"Q5277797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5beacb68d72d72f21101a9b57e2dc46ae56f53","datavalue":{"value":{"amount":"+0.7309225797653198","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":"Q2782479$1ED4E8C6-F74E-495E-8F4A-87AF698C8DC1","rank":"normal"},{"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":"307fb9b2645b24cb8d4130ed5c69fd8b08ff510c","datavalue":{"value":{"amount":"+0.7303605675697327","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":"Q2782479$4633180B-FC2C-4A10-B37C-1C6AF240145D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2782479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2782479"}}}}}