{"entities":{"Q3086777":{"pageid":3097492,"ns":120,"title":"Item:Q3086777","lastrevid":51217832,"modified":"2026-01-17T07:20:35Z","type":"item","id":"Q3086777","labels":{"en":{"language":"en","value":"\\(M\\)-set models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872257"}},"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":"Q3086777$971B0E3C-D87A-42A9-B35F-71F610662C2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36fb9f0c9ffba53ac7294b95186dada425e64673","datavalue":{"value":"1226.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086777$FE3F177A-BCB6-4409-AA55-5EB14CBD0EFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086777$2C7B23C4-D4A5-48EF-8B19-7A13F56FB666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086777$BC0FA8C5-AF8D-4C4E-9B2E-35E86CDD594F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086777$ABE3703B-EFD3-4594-BC21-BCE08C131F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086777$8F821958-DB5F-4AA6-AC80-2C021AF7F2BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cac86bb19e9e7d4f706fa86b262972072607862","datavalue":{"value":"5872257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086777$974AE8F8-A30A-4DC5-AF5C-36F22BD02B92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543752ca7582b35f87d5b64be840bb2d38b2a2a7","datavalue":{"value":"higher-order theorem prover TPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086777$67000EB9-CE99-424A-9DC4-7FE54E3E3075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386de7fc50d257ff274d5bf55eccec2db87855e7","datavalue":{"value":"\\(M\\)-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086777$D59D8D04-C165-44C1-9FD6-EDABC6999B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086777$4E5EE48E-E4AE-4266-B4F7-122D877C39A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086777$61E0820F-0C7B-41AC-B05A-0E6236F2564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08fba69edd10fc7cafafd21d067cd7fa1a2c0f7a","datavalue":{"value":"fragments of classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086777$FFAF2F20-9F62-4EF5-98CF-F6A7E56CA35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4113af1ef5e9cd23d716222be3f93832968bde","datavalue":{"value":"type of truth values","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086777$98179AAC-8E7B-42EC-9DAA-0D6710FDCC10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086777$B9216EAC-8A6D-4D0A-8880-25BE1FAC22DD","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":"Q3086777$E7404673-36BD-4C2A-B903-2C717491C16B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d12697fcf78c7ba096a1c54eec3a66c9d7b305f","datavalue":{"value":{"entity-type":"item","numeric-id":4501148,"id":"Q4501148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044663638af5123781ab258568678c2a33dc254b","datavalue":{"value":{"amount":"+0.7292248606681824","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":"Q3086777$DD1D2165-220E-40C8-9C20-066C63A1FA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ce8044a5d9132360c2f1f380ded6f7b3676f90","datavalue":{"value":{"entity-type":"item","numeric-id":5287682,"id":"Q5287682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28bdd50f4bd0eb19da76850722f653c2a745402","datavalue":{"value":{"amount":"+0.7101171612739563","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":"Q3086777$AFD638A2-E4A0-4FB5-BF35-13EC8539704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88adf6681347592d727243f138f95d54bca886ec","datavalue":{"value":{"entity-type":"item","numeric-id":4282580,"id":"Q4282580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28bdd50f4bd0eb19da76850722f653c2a745402","datavalue":{"value":{"amount":"+0.7101171612739563","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":"Q3086777$746E903F-D28A-4B7F-B003-0C859ACFDB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bd7cfb8ee49b2d6fd1715cb32cba805a56b185","datavalue":{"value":{"entity-type":"item","numeric-id":3478383,"id":"Q3478383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2112beff3e1b1351da09a1e1b0ee1ae5a798b8be","datavalue":{"value":{"amount":"+0.7060100436210632","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":"Q3086777$E59245B7-9B9A-4524-9AE4-DEB34083C9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3f1a665daba81af9bc64414a8df861e8b997a6","datavalue":{"value":{"entity-type":"item","numeric-id":671646,"id":"Q671646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408f670b3eb741ff7c6b281d480dd7c688816f47","datavalue":{"value":{"amount":"+0.7051148414611816","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":"Q3086777$B35FEBCD-7F4E-42AC-B6DC-796C82B0E88D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086777"}}}}}