{"entities":{"Q1790606":{"pageid":1801348,"ns":120,"title":"Item:Q1790606","lastrevid":68961576,"modified":"2026-04-13T03:23:15Z","type":"item","id":"Q1790606","labels":{"en":{"language":"en","value":"General extensional mereology is finitely axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946464"}},"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":"Q1790606$259AF80F-E379-45E6-8428-5EDA87408F1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"888c725a4ca7ee96b153670890b99d43163ae18b","datavalue":{"value":{"text":"General extensional mereology is finitely axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1790606$E3233DF0-102C-4794-8E71-6AA1874F3420","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"367cb1a3023ccf764dbace08b4f77df2ff5efdaf","datavalue":{"value":"1437.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790606$1FECE0B5-940E-4B47-B4A5-82BCBFEF9992","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8335d263d12d613ec405f43e401b77516000f","datavalue":{"value":{"entity-type":"item","numeric-id":334852,"id":"Q334852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$D1DA4400-4353-4EFD-A1FF-3A23AF7C7A29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$13F973AF-393B-4EF9-B27D-933547809EC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18f7b6f0a3691379e3fad64a28fa4b629012c7d6","datavalue":{"value":{"time":"+2018-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1790606$C9649CA0-AACA-4EFA-B63A-525D2D58EB4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790606$E05344E6-8BC7-4623-83E0-424623A35308","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52b8d64c80780a2293e422574b9d8f9049abb3bd","datavalue":{"value":"6946464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790606$668153DE-94CE-4C25-A0F7-2BB3F4DBB6B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e30a18dcc60ead9375ee51308e27722e14c154b","datavalue":{"value":"mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$E10BFAEA-36A6-4C98-800F-81078FF13CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a236c5caafad148f6d6a60cfd0a30c4ad95418","datavalue":{"value":"general extensional mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$1E1560F9-13C2-4DE2-BD75-AF3FB8E16931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4521b9b735b6e5ab0fa59a198d104bc90b6ad88a","datavalue":{"value":"classical mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$AFCEB0EB-1CA8-4052-A242-6B9147C6F2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dfb3c366f65f4349d660b00e114b9611f3733bd","datavalue":{"value":"axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$0CBD6984-B08A-4230-BBA5-EE8E8EC86EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee0e3752c7c70901b503bbfefbaafbe4767d748","datavalue":{"value":"atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$152A1A8A-A81C-4C3A-A901-E26F43612DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c972caeffff209d57b5591787bd2d553f052fd","datavalue":{"value":"atomic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$AF8FC446-1D43-45AF-BA97-A52952263E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed235e7e698c6173a9b3100896a487917012f094","datavalue":{"value":"atomless","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$499E8F0E-25E1-45F6-BEEC-CA14B493E96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1bace0fbf2b670c48900206c28c1e75e524d68d","datavalue":{"value":"gunk","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790606$1851312D-422C-4508-B354-42FDFAC6CC0C","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":"Q1790606$D8D122D9-26D0-4163-820F-80570AB790BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d488e05f2d6d5ef0e24b8dd995f26311a4081e12","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9768-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1790606$ECADBA30-1BEA-4510-936A-14D1AA2EB617","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c8e6de88261b65e2181595c507ce15fb3b76748","datavalue":{"value":"W2773863053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790606$EA4F5867-A4CA-4E6E-BBDB-5DA3C217EEA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4dbfb9162b8984013500db2f4aacb966430ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5275712,"id":"Q5275712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$ED598EA8-47CE-4F96-AA7B-C810B64367E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$372E1717-740C-4D67-B7A5-458776BBC5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d917abf48c7f27a6429411f98ccfe9455554ae4a","datavalue":{"value":{"entity-type":"item","numeric-id":2987752,"id":"Q2987752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$090ADA0E-2243-4B81-8CE8-BA771036F4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"602ce799b7ba1908a67c6a68c2529165cea52656","datavalue":{"value":{"entity-type":"item","numeric-id":3400307,"id":"Q3400307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$5932DAC4-E25D-44A5-B480-20784E1E47BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e31e8c0e171a16b574be96ef4756c9f475b8433","datavalue":{"value":{"entity-type":"item","numeric-id":2377058,"id":"Q2377058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$D43DAED7-2E55-4B4E-A40D-62BB40923F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0dcc005c528e3e1d2efca32c0767c5b2264955c","datavalue":{"value":{"entity-type":"item","numeric-id":2987751,"id":"Q2987751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$37A3ABF2-FE49-4E83-BAD8-FC5D181D9FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8aa11532918ca5c71b587953179c248bd996d7","datavalue":{"value":{"entity-type":"item","numeric-id":334853,"id":"Q334853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790606$B228F090-42B2-4D0D-90F3-043703AB7324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86c2fb078104fc40d98d175e32066623bb15ee5d","datavalue":{"value":"10.1007/S11225-017-9768-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790606$E3C76D2C-866B-49D1-BAE7-56579B1B55E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd1418642506c927803500226445b21cf559f76","datavalue":{"value":{"entity-type":"item","numeric-id":2377058,"id":"Q2377058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a64d7f46f2d3aac568bc75653eff55116ef2b2","datavalue":{"value":{"amount":"+0.8651881814002991","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":"Q1790606$E9FF9DBE-E4AE-4121-9196-1FFA47333B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29ce0df6235813aa4202f8ca004cf03cbb4a708","datavalue":{"value":{"entity-type":"item","numeric-id":3400307,"id":"Q3400307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9013c855e055a9f16dc41d1878571cc2841d42f","datavalue":{"value":{"amount":"+0.8390689492225647","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":"Q1790606$1852F232-9B4B-4A0D-9DC9-AE53FB1BB3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b14b69095bd419b8ee2b1a191ff105a0d460de","datavalue":{"value":{"entity-type":"item","numeric-id":3592816,"id":"Q3592816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecf885f27c9857afe1408a8f6848ab847508fe7","datavalue":{"value":{"amount":"+0.817879319190979","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":"Q1790606$BE1D8A01-C714-4E63-A860-5ECA685CC5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57030bff47cf8189405562a1e091b72f11006cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4978522,"id":"Q4978522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b713ad7e9362f3c6679f40a8bc44f5b5f1586dc","datavalue":{"value":{"amount":"+0.806986391544342","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":"Q1790606$2167DF2E-3CEF-45B2-A92B-A5772039CB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054804e6fee587e317ba49d8697404c120afb3ff","datavalue":{"value":{"entity-type":"item","numeric-id":2987752,"id":"Q2987752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a0fede08e2e38a96df28dc94f4edb0ca45f9fd","datavalue":{"value":{"amount":"+0.7717330455780029","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":"Q1790606$DA74F7A0-1F84-4D86-AE55-466462A92676","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General extensional mereology is finitely axiomatizable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_extensional_mereology_is_finitely_axiomatizable"}}}}}