{"entities":{"Q4925285":{"pageid":6954867,"ns":120,"title":"Item:Q4925285","lastrevid":51739589,"modified":"2026-01-19T18:52:07Z","type":"item","id":"Q4925285","labels":{"en":{"language":"en","value":"Finding theorems in NBG set theory by automated forward deduction based on strong relevant logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174198"}},"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":"Q4925285$5FF5B94A-54A0-4721-9A1B-1048DD3992FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a3e64341d92549c9d6b8c108597a4eb5e223de4","datavalue":{"value":{"text":"Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925285$597C8660-3E53-4326-BA38-3CEFCEB5DC2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02211af7bed7b7dae29c43383b55b9d655ec18fb","datavalue":{"value":"1382.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$0F5B3869-2CFD-41D1-A66A-B482A5B003AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"013dcbcd9d8809c98b50caece33660ec907667d1","datavalue":{"value":"10.1007/978-3-642-38768-5_62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$6B9F5295-7D9F-48F4-9DD8-DABB65BBD961","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd390fe29df8912b04d7f9fbbc9b55e428c39ff","datavalue":{"value":{"entity-type":"item","numeric-id":744076,"id":"Q744076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925285$689E4B48-8B62-4F53-9AF8-25BAC3114D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"310b21c5015ce9d77edb08164ba27fc1cf0aaa51","datavalue":{"value":{"entity-type":"item","numeric-id":924619,"id":"Q924619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925285$A8D17C76-6B90-4779-BD8A-FBDFCA7AB55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"885600df7f84b3469ef4d6ff7f0c0f0b7f0f1625","datavalue":{"value":{"entity-type":"item","numeric-id":744077,"id":"Q744077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925285$54D13018-6735-4982-9368-D4CA5F4EC0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29583797441d21324f80fd397bb4d819a7ed2765","datavalue":{"value":{"entity-type":"item","numeric-id":744078,"id":"Q744078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925285$59D60F5E-6114-4D01-8548-F66C812F7286","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925285$A15BD682-EB44-4C1E-8638-906A1E10C27A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925285$15423CC9-30C8-493A-A4A1-9C07408B9301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$21EFAB49-653A-4A06-919F-B2496EFD097E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$BAFF0BF3-5C7D-4E44-96EE-D153FAF58192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$A2097A00-C8B0-4CF0-B8C0-60A52ED27288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$A47F5BED-F305-4DA0-B447-4DE79AFEE0A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"010c52f155bb515ffde24d58a599231beb0588eb","datavalue":{"value":"6174198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$793C002D-6BA1-4FC0-BD40-2AC4F85D3C0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9d1ccdc8ec6fb39fbce9ca87278a57e1a2802c","datavalue":{"value":"automated theorem finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925285$74CB668B-56F7-4714-B64F-0C06C03E5EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e7a9cfd736f27ab7d00b94ead2e7b116879897","datavalue":{"value":"forward deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925285$4F513145-C6AA-4632-B787-A101D95A8127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa097e1c677d0530b4b31b21a359b3b8a005125a","datavalue":{"value":"strong relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925285$340E4261-34AC-44FD-9621-703E25AAE814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e0a4b78e77b3c229c2bfe117e6414e0a8b802a2","datavalue":{"value":"NBG set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925285$D70FF287-0AF2-4FAE-A34A-A03AD5B4D291","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":"Q4925285$8687E515-D2A9-44ED-B4EC-F0EAD73582D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8cbfbfc87a45585e106bd825ada4bb0c49d3ee0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38768-5_62","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925285$E16A1BB2-6225-495A-A332-25B23A435949","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44fe5317cff1a2beeb2cd4eaa446c37af47fb169","datavalue":{"value":"W201443511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925285$01833749-910A-46B4-972F-0529FCF4A8CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123580f397a628a2b49c81fd76f753a22f8063f1","datavalue":{"value":{"entity-type":"item","numeric-id":744079,"id":"Q744079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213943878f2492493070f201d127fc138d9765e2","datavalue":{"value":{"amount":"+0.8966965675354004","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":"Q4925285$0F2209EB-FBDD-4DB7-8E56-621CC32832E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c43d51778a5135618f05dd3b1850debad03e350","datavalue":{"value":{"entity-type":"item","numeric-id":1312164,"id":"Q1312164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbcf292a264890c91fa067e3fb814e1ec7c41df","datavalue":{"value":{"amount":"+0.7361273169517517","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":"Q4925285$C59053EB-5A4C-491A-B752-15B4621AA402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd013265e1ebd93dc9c0a780dddba39d4e93d94","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452e431afa80056a32501f9f54e05cdf2bc109b9","datavalue":{"value":{"amount":"+0.7230634689331055","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":"Q4925285$B2C85821-A369-4E86-B5D0-2CD5F9CA8BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f88506a92079a5b24ed1e49a3b24f106d59380","datavalue":{"value":{"entity-type":"item","numeric-id":5951530,"id":"Q5951530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452e431afa80056a32501f9f54e05cdf2bc109b9","datavalue":{"value":{"amount":"+0.7230634689331055","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":"Q4925285$EEDD3137-ECF2-4106-9A54-0E0EDDAED0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c07fc66ffdf738073b8e11412210ba4d07dec4d","datavalue":{"value":{"entity-type":"item","numeric-id":814429,"id":"Q814429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaf5b76d7928d1eba2684e632158c27afe466ac","datavalue":{"value":{"amount":"+0.6786446571350098","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":"Q4925285$5611AD17-EFED-4835-AB0A-D2E30FA92384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925285"}}}}}