{"entities":{"Q865042":{"pageid":866890,"ns":120,"title":"Item:Q865042","lastrevid":64936827,"modified":"2026-04-11T23:13:30Z","type":"item","id":"Q865042","labels":{"en":{"language":"en","value":"FOIL axiomatized"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5125420"}},"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":"Q865042$EB3F64B0-E426-45C6-91CA-B3F89B47B22B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77cd2dd7e2e0327f6298fa8c72cc6e2fd3798904","datavalue":{"value":{"text":"FOIL axiomatized","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865042$A59488E5-C16F-45B1-95F4-C55A07B9AF26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bd1ca9d536f253da3beed1b9620a994ae95fc75","datavalue":{"value":"1114.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865042$B1AE2EEF-01B9-4775-B0C6-467111E966A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$AE81B858-CC21-4955-9A4A-F6806DF2DC99","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":"Q865042$5A66B3E6-1BEF-465C-8F3A-FC68C8E9A36E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6774d6ab22787c63fbf9dfb9bb080cedf0202a59","datavalue":{"value":{"time":"+2007-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865042$64217B67-A8AB-4639-9B43-900174941341","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865042$6CA5CD95-1986-4EBB-9C83-1D25012AA4FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b34faab1e894e423467e26f49f5cf899f55aea45","datavalue":{"value":"5125420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865042$CAB387C2-4B7B-486B-BDC8-0694EB2FADA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865042$702DE7E4-24E3-462E-A2CE-7E622C18C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865042$05CCF094-5023-42E6-B6D0-3D5A01FCE355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q865042$5554BFBB-95CF-4BE9-8430-ED93B535A365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q865042$FB69CB69-A050-4B89-BDE2-E2C20A794880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q865042$80658D6C-054D-4280-AF8B-F5B86AC56B3E","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":"Q865042$D7CBAC30-3909-4323-924E-E12E4A4FF293","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b2c7160181c7a5bfc113e99925d9fb728c07506","datavalue":{"value":"https://doi.org/10.1007/s11225-006-9000-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q865042$E3C41ED7-8FA1-4A88-8341-02868B5D5E3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"279771f2184540941325088ce03a213730564e97","datavalue":{"value":"W3191320734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865042$CF8CC87F-6C62-4DA4-A36B-7F4CD4E4D577","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93293c6ac004ed60618a9da9b8f3f35d6b191080","datavalue":{"value":{"entity-type":"item","numeric-id":4817193,"id":"Q4817193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$8E76310E-E260-4AD1-A0C1-1B6B301D68ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5445f7af0f9161d03fe0b5ba44e8232112c0ee60","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$5290F7DE-455B-4737-A363-F72020C43105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd3ff5a780d2f3d5dcf512f0e30570449b7834c","datavalue":{"value":{"entity-type":"item","numeric-id":4463930,"id":"Q4463930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$72A33F28-213B-40BB-8151-7EDCACD13458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bef6aebcb7e05b26ddcdd4da792a7be8abe318c","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$56D8A25F-D456-425A-B258-2A2F9173B57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457f0d5a737e9bb31a4a77d28a97e459977c406","datavalue":{"value":{"entity-type":"item","numeric-id":4108293,"id":"Q4108293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$F757F99C-9AAE-4941-B0AE-0FF18B28D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$9871FE11-6956-45A2-8EFE-48E1A49BE1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$BB5C8824-9DF5-4213-83FF-BFA898F18FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e4f8996f91ee591dc0c2901a6854bd451ac5b2","datavalue":{"value":{"entity-type":"item","numeric-id":5711930,"id":"Q5711930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$2641678E-EE4B-4240-A1F1-ADC9417D0758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49eb071380334d25322d7936424989d3a4730873","datavalue":{"value":{"entity-type":"item","numeric-id":2549690,"id":"Q2549690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$25E26A0D-0D36-4C78-8684-8EBB3BB6BCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef8d7f06c3bcbe15173131d1674229da41813a6","datavalue":{"value":{"entity-type":"item","numeric-id":5680089,"id":"Q5680089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865042$642DF0BF-FDC8-4022-8E99-B053AB4C7B24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd2ef4ff2fad66955b378ea9d9156d216511365e","datavalue":{"value":"10.1007/S11225-006-9000-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865042$F30E149B-873A-48D3-8FF2-878BC67B2B52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ecb4a35758075ee85db9e4220e8c3dc5509886","datavalue":{"value":{"entity-type":"item","numeric-id":2441759,"id":"Q2441759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54570915508951951328f144d4a5555e139177de","datavalue":{"value":{"amount":"+0.8309725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$3D0BB6EB-CBE7-46D5-BE44-CE9D2AAE99BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c79ad8da2db58eaf57b2d8347d17a4dbb0b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50add48088e10c5cbf980c30ee92b38898b1803","datavalue":{"value":{"amount":"+0.8230576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$F832579F-BA42-4809-AB5F-73736E09413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e990e3a46aceafc0d0375548a6a73dcd43a40975","datavalue":{"value":{"entity-type":"item","numeric-id":5567845,"id":"Q5567845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46eecbb0b1f85993c8671d1a0b749ba8c305e546","datavalue":{"value":{"amount":"+0.82250154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$3F1CBB45-E363-49EC-8C0C-82A13682FB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bea21e63e8af1c4b2524984c921d81ee1e996e","datavalue":{"value":{"entity-type":"item","numeric-id":4304462,"id":"Q4304462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f2acd2a5a83f39ae3dfcb70b0172a58731d336","datavalue":{"value":{"amount":"+0.82108575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$CEB8DD29-3B53-4D3E-A5CB-8C27E1D194DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e16f1ccc204e097b22d4d70a1239fc5204dc219","datavalue":{"value":{"entity-type":"item","numeric-id":5753944,"id":"Q5753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbcc06868777e2c36a1bd9fb77479280a9bc053","datavalue":{"value":{"amount":"+0.82020205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$47E974C8-57D5-4186-AFDD-638ACA22A1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd08e26734b57f42da93dc938b331bb03ab6428","datavalue":{"value":{"entity-type":"item","numeric-id":3813801,"id":"Q3813801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbcc06868777e2c36a1bd9fb77479280a9bc053","datavalue":{"value":{"amount":"+0.82020205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$7B77DEA6-D68A-4165-98D1-C35769E3109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9acd1364275728e3258219cabf0f7c0bc06eef75","datavalue":{"value":{"entity-type":"item","numeric-id":1966145,"id":"Q1966145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6924ad0a4e6c1b97cb1cdcf88a4d39aa0874e4db","datavalue":{"value":{"amount":"+0.82003105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$974940C6-7192-4287-A653-585AF48D125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40f910dd9a4709ecc230146b92d769636308739","datavalue":{"value":{"entity-type":"item","numeric-id":5298124,"id":"Q5298124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24ff27b70398ef45b634d6ace2168b37707378b","datavalue":{"value":{"amount":"+0.81949323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$EB45D2C3-437E-4EC8-87AE-7B96F20648B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b541803a5a820abeeb89d6e79f39ee97f0a0cee2","datavalue":{"value":{"entity-type":"item","numeric-id":1938834,"id":"Q1938834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7734dd480e72c30a2cad374936f2b8a3160d6f0c","datavalue":{"value":{"amount":"+0.81513345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$983985D9-73A6-4652-9074-54007B71119D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a637999b132d561731e438d9c302ae373ac21d36","datavalue":{"value":{"entity-type":"item","numeric-id":1190508,"id":"Q1190508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185687bfb11ef36a993b4d1f445527f3d04fa916","datavalue":{"value":{"amount":"+0.8124608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q865042$0FCBF277-3CF1-49D8-BEA4-0BCC9A0F523C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FOIL axiomatized","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FOIL_axiomatized"}}}}}