{"entities":{"Q3717022":{"pageid":5746928,"ns":120,"title":"Item:Q3717022","lastrevid":81111281,"modified":"2026-05-06T17:44:50Z","type":"item","id":"Q3717022","labels":{"en":{"language":"en","value":"A Modal Herbrand's Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946090"}},"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":"Q3717022$CA056CB2-AD10-474B-8FDE-B59043A0753C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f666e59bcfc677df208da9176ba2a5f03ea5f03","datavalue":{"value":{"text":"A Modal Herbrand's Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3717022$9D92C7D2-1BD9-402A-A22F-B7AE5243E419","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2322d65125d46528a91478b7320c1b7f2345542c","datavalue":{"value":"0589.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717022$3E2571BC-4C73-4F42-A218-1F1B0E7837BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717022$77DA63E0-30C2-43DC-8C4A-811F8EAE3753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717022$1EF09F48-B01E-4E42-9C7E-F0F2551FF669","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717022$6D132558-47E4-43F0-97E1-E2953CE23314","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3717022$BDB3EB10-03B1-4B4D-BA0F-9B37EE9A62CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717022$64799581-6FFF-4EB8-A3B6-BE37F5D7D0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717022$DB20FA3F-15E0-4CF6-86B1-4ED6FCB14311","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50d2660c0b72f68d8c03bcf35cf556630a58cb1b","datavalue":{"value":"3946090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717022$98AF2650-50D9-4386-A1E3-997BA4AE3C55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db6ed385003314b458440f0c543e202b0732754","datavalue":{"value":"recursive reasoning on nested modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717022$00CDD1E9-0E15-40CD-A04C-D40ED201DB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb6f7e264eab9e93591202ab4619947b1381675","datavalue":{"value":"first order extension of propositional modal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717022$9D06E08C-5E36-4F2E-95CB-DD6BA5C453E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717022$0C3DBCA2-ADFC-479E-898B-A74CB7A7975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717022$F85A341A-040B-44A6-A7B8-BAE3F3858D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717022$1AA392AE-DDD2-4752-A2D4-408D276BAB3F","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":"Q3717022$8A416D21-11A1-42D8-8D0A-5CF26CD6BCAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82d0e527ffb5d49b5adf5e276c084196440911de","datavalue":{"value":"https://doi.org/10.1002/malq.19860323106","type":"string"},"datatype":"url"},"type":"statement","id":"Q3717022$F076D2D7-A844-4C03-934D-43F75D22AD4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff30c1844f837c282e2effb21dc42631d979e780","datavalue":{"value":"W2104524304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717022$6A0E3848-3900-406E-97D4-9FE533AA0B0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e37800b2f4e19ddd47c37d6df49313514f88295d","datavalue":{"value":"10.1002/MALQ.19860323106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717022$2C00951C-45E1-484D-93E8-B78BAB6246F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e592ef13034ebff461a77cc85aaab478125f6694","datavalue":{"value":{"entity-type":"item","numeric-id":4291028,"id":"Q4291028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5216899710eec8fb4a6aaa0ea26b168500961a6d","datavalue":{"value":{"amount":"+0.8929538726806641","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":"Q3717022$88AEDAA6-4062-4674-A37F-480C998312A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b9d15c26b6749033fccf40118c4e6935957821","datavalue":{"value":{"entity-type":"item","numeric-id":4282525,"id":"Q4282525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5216899710eec8fb4a6aaa0ea26b168500961a6d","datavalue":{"value":{"amount":"+0.8929538726806641","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":"Q3717022$EF183DF8-DB0D-44E1-A014-71E766B51E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ee7a85143a03c8ab9bc1797f0afa1755e73c63","datavalue":{"value":{"entity-type":"item","numeric-id":4332417,"id":"Q4332417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a56bc5a23d8308bb442fc1559d9c0fa4276aaf","datavalue":{"value":{"amount":"+0.8641239404678345","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":"Q3717022$5FB9F4FF-D277-426A-93D4-AB826515C33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f224617a51a1d4e4d508c109efa999bab49997","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd78036d9a230b5e4ed23f1a9e12099ada3045e","datavalue":{"value":{"amount":"+0.8354343175888062","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":"Q3717022$1551607E-3A13-479D-8BA8-9ABC4917F75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2c3f1d9cdf6d0af916eae57c1be76e6004b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd78036d9a230b5e4ed23f1a9e12099ada3045e","datavalue":{"value":{"amount":"+0.8354343175888062","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":"Q3717022$CA2F3339-455D-4D70-8355-8DE60480D677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Modal Herbrand's Property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Modal_Herbrand%27s_Property"}}}}}