{"entities":{"Q300557":{"pageid":302324,"ns":120,"title":"Item:Q300557","lastrevid":60815208,"modified":"2026-04-10T19:18:19Z","type":"item","id":"Q300557","labels":{"en":{"language":"en","value":"Analytic rules for mereology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6599136"}},"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":"Q300557$493CCA41-5A28-472E-BAE5-47F8EA3D6A84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4ea15a19af3bfad9d7fef3a7d8ebd04e4380916","datavalue":{"value":{"text":"Analytic rules for mereology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300557$D7A3E111-22ED-4B9F-BE05-D7EE63A3C52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa1b9e69d43f682cfc697cca6a9643bffa94bdd2","datavalue":{"value":"1392.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300557$9433FD94-1DF9-45EA-A5A0-7E5DFA845C33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18934a2357b48007aec9f076002503991f9ce9c","datavalue":{"value":{"entity-type":"item","numeric-id":300556,"id":"Q300556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$E1AA4C8A-281B-4069-872D-607FD3DE6EBB","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":"Q300557$8AFA8D8B-1DD4-4714-BEFB-D2E01F3CE2F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbcea371f4566b396cd1a7c03cc4551825ca31fc","datavalue":{"value":{"time":"+2016-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q300557$A3B331A0-3310-45B5-A7AF-FE3994DEC438","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300557$EE1D0583-4502-4596-9AB3-5C8D5EB0F086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300557$8FF711F5-0704-47EF-BA61-0AC336A10F94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8a238ef832452f7a9a7c955403ab1cfde51b799","datavalue":{"value":"6599136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300557$91E1ADC8-4C15-4863-A611-8D4D6F2F80C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89d67174508d269382d245564805126bc0f26fb","datavalue":{"value":"extensional mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q300557$AE2D68DF-3C60-4BD8-A2C7-112EE8CED51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q300557$10FB36C6-0C3C-438B-9F48-DE5B280CF3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q300557$F6D8C726-9B5E-48FB-A174-AC759DABBF91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$6F79D2F9-7E09-4930-B25E-24A3FDF37E97","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":"Q300557$FFEC5C3E-8B91-494D-BD14-C3C2478D6E8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3708347c70b1a78e812fc6c3bb15db7bf1fffdcc","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9623-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q300557$190F3094-E406-4915-B5DC-7F26145744A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efd4464a75633f2d61585f141a27d27aec7d12c6","datavalue":{"value":"W872031084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300557$BF2CC95C-4F3D-4750-8359-450DE1E238E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d5152d52f68822072beb845d283f81916df305","datavalue":{"value":{"entity-type":"item","numeric-id":2890693,"id":"Q2890693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$01823A8B-6672-4276-A184-A6794631A145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$9B8EC85F-CB79-4D92-B5CD-BEDADA0C1100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58b6975c9133a84d0c5c9e3e79dc44f7841f04b","datavalue":{"value":{"entity-type":"item","numeric-id":1029832,"id":"Q1029832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$CFD824ED-06C2-402A-891C-4702FF56D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$BA196513-252D-4DB7-951E-F9B7E4121F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$76FEC98C-40EF-4C40-90E7-1FC59F6D5E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35d8e5c3dc5f6ffae4280b2d34d20e1fa0c3eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5739973,"id":"Q5739973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$2466941A-5D27-4F87-8443-7D66CCBB64B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$26136D8D-B672-4C8F-9F5F-B47225049B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$A4A0AB19-B9B8-44CC-A49A-E4C2870617E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$F930801B-C014-4044-87B4-7ADC3D9F09DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$5474526C-8841-4600-87FD-1CD3E0CA9D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c249069543662db3275f47726248b0dfee75158d","datavalue":{"value":{"entity-type":"item","numeric-id":3147433,"id":"Q3147433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$4716D6BE-C581-4A26-8F95-969E2E2B1C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dba0fd9310ebdcff364aff1ff61f9f7f59237b3","datavalue":{"value":{"entity-type":"item","numeric-id":2442132,"id":"Q2442132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$71AC2254-C239-46AE-ADDF-2D872D09978B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300557$3BEA486E-99F9-4FF6-A530-AE4660FD08D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d91ca568e18b949f545d8791475307ecd778eca5","datavalue":{"value":"10.1007/S11225-015-9623-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300557$FF7918AF-DDD4-437B-94F0-1A809E5A5ACA","rank":"normal"}],"P1643":[{"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":"3dc4cc5c9a1b9a412e95673bb53fe9d065ef3fc3","datavalue":{"value":{"amount":"+0.7516551613807678","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":"Q300557$62220BA8-31FD-4167-B70D-F5295EB9330F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4fd218afafc8514e709760412aee34e7e009b0","datavalue":{"value":{"entity-type":"item","numeric-id":4778715,"id":"Q4778715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11beca70e6e14ad0b15e93ee1a8aa3f724dfb89f","datavalue":{"value":{"amount":"+0.7393243908882141","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":"Q300557$02A3824C-CF42-44F8-91EA-6C54EA4E3DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df91d5d04667f8e5e2ae787167e6831c35af432b","datavalue":{"value":{"entity-type":"item","numeric-id":1934951,"id":"Q1934951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5825cd281ee8b0ecf0226595bb613ec26ec3b986","datavalue":{"value":{"amount":"+0.7390897274017334","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":"Q300557$1CC769E3-8A72-49DD-9B80-AFC8D2D81124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df81ddb87bc23aafe996708322e8c1401745c20","datavalue":{"value":{"entity-type":"item","numeric-id":1790606,"id":"Q1790606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb45efb6ccfa8642f9e95905ea0bd3909f6bd8f","datavalue":{"value":{"amount":"+0.7383231520652771","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":"Q300557$7F79B34D-3C7A-4EDC-9D30-C40A3F74954D","rank":"normal"},{"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":"30466c811fc46b5efc8b4800d61ed5080bd46015","datavalue":{"value":{"amount":"+0.7370927929878235","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":"Q300557$462FD36E-50C3-4C15-A2C1-FAED697FDC6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic rules for mereology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytic_rules_for_mereology"}}}}}