{"entities":{"Q5248986":{"pageid":7278554,"ns":120,"title":"Item:Q5248986","lastrevid":52252310,"modified":"2026-01-21T06:32:16Z","type":"item","id":"Q5248986","labels":{"en":{"language":"en","value":"On the conservativity of Leibniz equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431994"}},"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":"Q5248986$6F7A50BA-0222-470D-84F1-BB40078BA85C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e5b3582cd9bb93e664b0cd03956acc6cd1ae1ac","datavalue":{"value":{"text":"ON THE CONSERVATIVITY OF LEIBNIZ EQUALITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5248986$69297EA2-FF0B-49B9-9531-EF85C33DFCFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f549782cdbca0b5302b3e1e8c20bb04264b45a91","datavalue":{"value":"1320.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248986$37B18B1E-4F4C-4C3F-BF6B-D193944108DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b57f61279ede2d7219962ce9f73f4e1f9c24afc5","datavalue":{"value":"10.1142/S0129054198000325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248986$214F9E5A-332D-40F4-B41D-173F5CE78B84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd26c060f9fec47585ecde4b8274da2be27a287a","datavalue":{"value":{"entity-type":"item","numeric-id":672041,"id":"Q672041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248986$3546D43B-E37E-4277-B598-4023320CEEFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248986$C3F55D6A-A578-42C6-A85C-9D835BD15628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5248986$F0A67202-D4E8-47B8-BADA-2E9834B2992A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248986$056C3E3F-BD6B-4785-9F97-109D6E0B504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248986$B9BDAE6F-BDA2-4E35-A171-1181548F52F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248986$6AE5C060-5966-414C-BE0D-E573B9771938","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dab8eaf9fb014ebebb481483bf469111456a563","datavalue":{"value":"6431994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248986$14AA88D0-48FA-48E8-9963-4CAD86A80085","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248986$9FFC50DD-1A7E-4FFD-9DA3-B67D262C203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248986$72AD0789-E107-4266-B872-8EE148182B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5248986$F9F6BD3D-F197-4187-B796-F7252870E94C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a36511f1a7879d463f2bb2e00252930b143e23b3","datavalue":{"value":"Q122861531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5248986$F4F7AE59-CD02-45B3-A401-241002D7436E","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":"Q5248986$A54C8965-D944-4509-B496-20CD42E345F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7117183e314798070d719a9c54f00a16df2a8b14","datavalue":{"value":{"entity-type":"item","numeric-id":1194249,"id":"Q1194249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5248986$EF9A9988-3F89-4EE1-B74C-F955E96AC91E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0edcdd4e8bef1c76a870dc715f8e11d2e66e905","datavalue":{"value":{"entity-type":"item","numeric-id":3377462,"id":"Q3377462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd337d8e69046aac52e2b37e147499d588b69f9","datavalue":{"value":{"amount":"+0.7618221044540405","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":"Q5248986$FA93FDA5-5E0C-450F-98B5-7FFC8A6A99D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8139ef8a91aaf6018642a73755c3a644f2cfcb1","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fc19bf1572b8e38dcf4c47cb88b54d7f21358f","datavalue":{"value":{"amount":"+0.759732723236084","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":"Q5248986$9DEC52FA-9D62-4391-8F36-7B9A75ADC8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d1b6f921e95adcdedd9be89783b475ccca3315","datavalue":{"value":{"entity-type":"item","numeric-id":2761749,"id":"Q2761749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916717f66a00f7f908f7bd1b3ef8c19d5c0e655c","datavalue":{"value":{"amount":"+0.7511113882064819","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":"Q5248986$FD36F3DB-E3E6-4698-A61D-14C20FFD257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5f151b47f36bcf55371650dd7c8cb5b8ca7ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5277828,"id":"Q5277828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961fd138200cf97a88026dd7ea7df3a012a4190c","datavalue":{"value":{"amount":"+0.7395104169845581","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":"Q5248986$369AA2C4-775D-4C3E-9B47-1673ADA8515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59d28f6bac8d47671afbfc7ba6834c058f761d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5120232,"id":"Q5120232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9748c4922b4b6848dc1165d92d7fdd42fb774ad7","datavalue":{"value":{"amount":"+0.7364906072616577","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":"Q5248986$8AD58EA6-16AE-445E-8DA9-EA1192ECF921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5248986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5248986"}}}}}