{"entities":{"Q1961913":{"pageid":1972655,"ns":120,"title":"Item:Q1961913","lastrevid":47436697,"modified":"2026-01-01T18:13:54Z","type":"item","id":"Q1961913","labels":{"en":{"language":"en","value":"On equivalents of well-foundedness. An experiment in MIZAR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394788"}},"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":"Q1961913$3D3CDC98-FB06-44C9-B058-5D2883FF871A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaa3c622018b3736395fb2f56ecde8207decd7df","datavalue":{"value":{"text":"On equivalents of well-foundedness. An experiment in MIZAR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961913$9F8D8F1B-5A4C-4837-8DC3-528D17DC35C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"522f7dae3c8c22cf22b13d20e0536f575cd7b8b8","datavalue":{"value":"0944.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$F1223782-A74D-4970-9637-C9F4DF02EEED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c47eef524b5f5cf826a6da3bf9e15ea68aded05e","datavalue":{"value":"10.1023/A:1006218513245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$FA832EC4-0178-4551-A720-697A720765B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72ee9ffde9510a13b5bea91934f187bdc57c7e","datavalue":{"value":{"entity-type":"item","numeric-id":467775,"id":"Q467775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961913$24ACF9A4-A5B4-4A48-B761-D5EE8EA1A269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af54ed4fb469af20b14fa3db8b1ed041c8ca0f58","datavalue":{"value":{"entity-type":"item","numeric-id":597121,"id":"Q597121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961913$ABF65A97-B928-49E2-B3DD-B243FC41D1A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961913$BC92B708-B2ED-43E3-8ABA-3916421F4BB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"818182eddf4492a2282d8a2da95d01f6e6122818","datavalue":{"value":{"time":"+2000-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961913$858306C3-A8AB-4C3B-81B9-BFA7964F36DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$907AC8A2-389C-4BE5-8DC0-43D48E649BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$733C9F19-6F7A-4129-A1F2-342D6DAE9045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$3E58E3E8-E4F0-4397-A51E-FE5446255B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$9D6E8FCD-9C29-4035-965D-1285DB60695E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3899475f86e1ba1c84aa7639f29292cb22e70e2","datavalue":{"value":"1394788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$7BA3BB6D-27EC-4A41-9FCC-03BC6E20A113","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961913$ADFF110B-70D6-48A4-A30B-6D44119B31CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4da11a40c5f541e5c9278d81bcb0c3ba988a524a","datavalue":{"value":"MIZAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961913$78124B06-C619-4624-9592-8325430D55A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961913$84A5746A-E524-432F-8740-7BB1073A76A1","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":"Q1961913$5606D235-686C-4314-BD4B-93D9647F5861","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3618efaba7eb470be601652f830fd435351c3694","datavalue":{"value":"https://doi.org/10.1023/a:1006218513245","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961913$D764B1E4-A743-49BC-B540-54D19B63B545","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"966a4670c1709f9fa2e124c57fcb34b33caa061a","datavalue":{"value":"W1546740898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961913$964EFDD1-F50B-4B2F-866B-F08E6A75BF6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4d8bd861fad72b8d2a4ae0cc98add32adbe3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1312157,"id":"Q1312157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9522e2558c7e1da210893fa244907f1e6bfbfe","datavalue":{"value":{"amount":"+0.734342098236084","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":"Q1961913$142BFB38-1E8D-4302-83E8-50B66CEE15AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fe603be126cf3667eea9dd66064ca9076cdc76","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c09feb3565e0c26c2bb326e3fc561fd7849422","datavalue":{"value":{"amount":"+0.7306454181671143","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":"Q1961913$3D695B72-B75F-4542-85FA-4AE98C29EEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7716c52e01da3aa353c5427cf298a7f97b2c2036","datavalue":{"value":{"entity-type":"item","numeric-id":638478,"id":"Q638478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679aa3201307c4f22ca5550fc8484d0727eae318","datavalue":{"value":{"amount":"+0.7224488854408264","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":"Q1961913$9FA691AA-0933-4BF1-97E8-454451EC7528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e44996a4f52d1763fe379a55cd9e40356bb49f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945908,"id":"Q1945908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c187721c88d9dd20280552e7cb6a3d2c42214725","datavalue":{"value":{"amount":"+0.7202104330062866","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":"Q1961913$04C4E223-9EAE-4013-B0E8-7C073BB37321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7afeb5e6e6cc8d88de254a6cef99665bf629aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403201,"id":"Q5403201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccc3fec2f44ab97827960f551afbe3eb520bbf5","datavalue":{"value":{"amount":"+0.7170354127883911","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":"Q1961913$44E90A8A-302D-4857-A0EA-B20ED95E48EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1961913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1961913"}}}}}