{"entities":{"Q4798209":{"pageid":6827789,"ns":120,"title":"Item:Q4798209","lastrevid":74821227,"modified":"2026-04-15T00:30:24Z","type":"item","id":"Q4798209","labels":{"en":{"language":"en","value":"On the axiom of extensionality in the positive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1884769"}},"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":"Q4798209$4BD083DD-2168-4417-B4ED-A7D86E1374BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"369c7bdbc307530a05fd6d010f2b50c4d5f04670","datavalue":{"value":{"text":"On the axiom of extensionality in the positive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4798209$F0F06898-002B-45FE-B34C-9D8821DF77EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84fcf97c081e22633103952386bfab1512cc0529","datavalue":{"value":"1015.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798209$3C59B4F8-5E32-4523-897D-A86D3ABA7837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4b0cba3e3d9778285b9b6109903d174779fca6","datavalue":{"value":{"entity-type":"item","numeric-id":190348,"id":"Q190348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4798209$BCA46144-1516-43B2-B2D6-C3727F693C28","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":"Q4798209$E1CB02FB-6C45-426B-9A32-68FDCA96D656","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bf000c6c164f150c142ee163454b913d04764a9","datavalue":{"value":{"time":"+2003-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4798209$A0B5041C-7FC6-4E59-838E-437F9FCEAB72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798209$580359D5-83C9-4E0A-A699-48AF5F0D9416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798209$1CD8A01E-7F7D-4A61-A31E-AF5551DC92B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2cf226c114c95fd44467fa971471a3bc76f432d","datavalue":{"value":"1884769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798209$EDEA8A71-7D21-48A0-9EB1-8531C8285EFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d69e6d816f61fbc1c7f09fd7028131c78dc53c","datavalue":{"value":"axiom of extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798209$BCA7FAC3-8EE0-49E8-9292-FE712914AC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb04e10337989abc6e131986b2385e24cfea41a1","datavalue":{"value":"positive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798209$4B7E274A-FC21-4D09-B234-7CA518B99BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798209$434F209A-0436-4645-B2CD-9296A81D07A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798209$E7461962-8D84-425B-9672-3A109CE5AEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98f63242ef754cfb75257cdb2be86eb5cc26b6d","datavalue":{"value":"relative interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798209$41BB7ADD-F333-445F-B169-4C565D3CC084","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":"Q4798209$23EA9511-6B26-4369-BECC-9092D1974E9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eec7627d5f88612bfa3fa2adfd6616471458b041","datavalue":{"value":"https://doi.org/10.1002/malq.200310009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4798209$0AC24923-E0A5-44B6-8CD7-46A342818E3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ec4f520ec3681c813a7124a10f4beec7bfcaa10","datavalue":{"value":"W1987928142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798209$A3CE0919-F721-47ED-A46F-EBA3402AB8B1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"910061371880e4d7c3aa5bdfa3998a55ee78b35a","datavalue":{"value":"Q114018752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798209$234AECC6-DFE0-41B1-8511-0DF0636B47D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ffcfcc940629ee1016d50413efdd62907a134f2","datavalue":{"value":"10.1002/MALQ.200310009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798209$67617E61-B979-4286-8763-A4DD18F7D940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420a6ae8dee89c193affb196b9c7d88f00e51b13","datavalue":{"value":{"entity-type":"item","numeric-id":3160572,"id":"Q3160572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245e0118bfaf4aaca973b84a089ecec286483aed","datavalue":{"value":{"amount":"+0.7700103521347046","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":"Q4798209$71DE1435-BAA3-4677-9AED-B4D03E1A7708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fca996b62276b6eade0cac4b0749b76a869c01","datavalue":{"value":{"entity-type":"item","numeric-id":4827116,"id":"Q4827116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5d26039cd26444fc99ff30e027d08dfcd08014","datavalue":{"value":{"amount":"+0.7560816407203674","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":"Q4798209$D695344E-910E-4525-90AD-DC65D56D7500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf1db2ab6c3c38cfa39f70a96c3c15fca399b25","datavalue":{"value":{"entity-type":"item","numeric-id":3688384,"id":"Q3688384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66f144659c78e093d6f80afa0a405edccf2363a","datavalue":{"value":{"amount":"+0.7467725276947021","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":"Q4798209$1F5A87FB-AE00-4630-B697-5355129A45CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d926821e6b12c74a6d1e860a5c3abcdf1e2acc48","datavalue":{"value":{"entity-type":"item","numeric-id":4319674,"id":"Q4319674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3965ebec9f0d73041a25b4ec70d6834e52c48adb","datavalue":{"value":{"amount":"+0.7450439929962158","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":"Q4798209$9EE28470-0579-4FAA-B1B5-75EEB7148128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053d0627b0421dd602e993b6f75ffd1e0a2e3617","datavalue":{"value":{"entity-type":"item","numeric-id":4238430,"id":"Q4238430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fb5571de218cc8fd0fb37b2abbf5fde23f84f4","datavalue":{"value":{"amount":"+0.7383262515068054","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":"Q4798209$DA767A6F-A52D-4ABB-B5E0-24915509DB3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the axiom of extensionality in the positive set theory","badges":[]}}}}}