{"entities":{"Q2817908":{"pageid":2828646,"ns":120,"title":"Item:Q2817908","lastrevid":79420289,"modified":"2026-05-06T13:51:58Z","type":"item","id":"Q2817908","labels":{"en":{"language":"en","value":"A logical framework for developing and mechanizing set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623249"}},"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":"Q2817908$1E2621A6-FFF5-43C0-A95F-B91B89756B9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a012ed233c8a9a690d26ee166a782de2c33b4aba","datavalue":{"value":{"text":"A Logical Framework for Developing and Mechanizing Set Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817908$FB111B73-17B2-4E21-9798-E1D731A7C4E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2666c705a7f94967a9744d2ccc849cc5167ca56","datavalue":{"value":"1410.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817908$89714A8D-DCD2-44DF-B066-FECEF3D068CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3c774ffa5c93a0d255676d92ba2c13e7be5e90d","datavalue":{"value":"10.1007/978-3-319-40229-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817908$AD5FFE83-650B-4486-85FF-999D23827180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$2785BA5F-5DCE-4992-890A-4AEC13065CF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$3150EE0C-9297-49A8-B8A5-60690AD51348","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817908$29034291-A7B1-458C-B39E-D0569E796C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817908$C1491AE5-1067-4073-8AB9-52918C9CCFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817908$16E1978A-0F35-4B9B-9F49-2F3488717515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817908$3109516E-F639-43A7-96FF-6E4C723DAF45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b943d45109408fc9374d5ce1200214ef2d00b0","datavalue":{"value":"6623249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817908$D94305F2-A9B0-4880-9382-7FCAAD2C5E47","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":"Q2817908$AE34E0D7-138F-40D1-965F-C10A3EDC0725","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c22e44db9db8c02195a7762b2374a82ac689e629","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817908$492B68B5-57B8-4F6E-B961-A42E204DB7CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfa00ebee588a67539c9f80bd78722e348ec03d3","datavalue":{"value":"W2506030230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817908$254E2D06-FE22-4E5A-9425-D7D4412BD2B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c96b723515f39843f3d28d31678b33cd7d51ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$9024CC6D-6D95-464D-95F2-2B760BB6F6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7181e92eca8428ce3ea649f4f9820ecf22bdd1","datavalue":{"value":{"entity-type":"item","numeric-id":5452175,"id":"Q5452175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$135FD059-A431-4DA0-B16C-A399656858B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4df2e0f90c6d8aee636b221b992b2620e1127ee","datavalue":{"value":{"entity-type":"item","numeric-id":3081637,"id":"Q3081637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$31ECAD46-F0CC-4FF7-8414-900783611FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$21E3680D-2F41-45D4-8014-2711C9D71AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53f41f5cf361d1f3a8afdfb23d296ba8ce2290e","datavalue":{"value":{"entity-type":"item","numeric-id":2556402,"id":"Q2556402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$AFA400B1-6A69-47DE-B8E0-5398E2AF4FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1b065a493d211f6a8f448e92b44337736d83c6","datavalue":{"value":{"entity-type":"item","numeric-id":4085724,"id":"Q4085724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817908$88AC7FB8-1280-40EB-8064-284FE6A1FE09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453a94903c99cc657d65b4f8ec111e93a15f0cd2","datavalue":{"value":{"entity-type":"item","numeric-id":5195269,"id":"Q5195269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c50cad4054c6cc0b5322e15fcdbe4cac8344c8","datavalue":{"value":{"amount":"+0.8955909609794617","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":"Q2817908$FCE1B780-CB8A-4D52-ABDA-18A631E590E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcba02a33af4aa7d72de12bc9aee7a413cb1c45b","datavalue":{"value":{"entity-type":"item","numeric-id":4553281,"id":"Q4553281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8d79ff53bd1abdbb6bb89e1b1c29a253b6b7d7","datavalue":{"value":{"amount":"+0.8213364481925964","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":"Q2817908$0D242488-C3B4-4A34-998B-FCA929608317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffd9df5b5021fd71475e0ed57b8d2bd1e6c7420","datavalue":{"value":{"amount":"+0.8015182614326477","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":"Q2817908$5FB12906-5681-459A-AD2D-FA3D10DA6B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83f85bf64f671fdc2917692e10d5903b06f8eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5452175,"id":"Q5452175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7132eb4d399b78e0f7954b0e1140a87b0bcd06","datavalue":{"value":{"amount":"+0.7909330725669861","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":"Q2817908$592614E8-1B42-4D04-8119-2C45F02161D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bd43191682e284a627ffa95856dfafbe461ea5","datavalue":{"value":{"entity-type":"item","numeric-id":5858673,"id":"Q5858673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde3f311e5ba5a98a07c5e68b30049716548ec4c","datavalue":{"value":{"amount":"+0.7905302047729492","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":"Q2817908$7A0405D0-3EF3-4C3A-8404-D628E09A5B91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical framework for developing and mechanizing set theories","badges":[]}}}}}