{"entities":{"Q4610330":{"pageid":6639913,"ns":120,"title":"Item:Q4610330","lastrevid":53321726,"modified":"2026-01-24T17:46:14Z","type":"item","id":"Q4610330","labels":{"en":{"language":"en","value":"On quasitautologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002280"}},"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":"Q4610330$CE8E1975-719C-4F49-BBEF-C323ACE07E3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"292ea5c9ed1304566606b4c61820167b5035a3cb","datavalue":{"value":{"text":"On quasitautologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610330$75864759-8176-4996-838A-8192419B31C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9694a309ee75cbcc5d7e897820473fa22650287","datavalue":{"value":"1415.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610330$6BD4B2AC-0482-4B5F-916D-9DCB80800F34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"910211ee5f7f20346ee1aca4486d5b2fa5fcd1e0","datavalue":{"value":{"entity-type":"item","numeric-id":634774,"id":"Q634774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$2A652E36-C8A8-4FF2-84DA-2C3B16441963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e2030b6bc424b92ef9cd11bf7389e648c16ba2","datavalue":{"value":{"entity-type":"item","numeric-id":1029016,"id":"Q1029016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$7EA3E14E-6374-4D87-9C66-57589EC1DC5C","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":"Q4610330$7EF0D8A1-D29E-4D2D-9843-F2932D9F0396","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610330$0172E490-F51F-4BB9-AB8F-AA810972CF35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610330$FFB615F0-F758-44D7-95DE-27F28D8AB252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610330$E624A878-C0BF-4634-A1F6-61DA0A8BEF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610330$623A96F5-48C3-4B6F-B4BA-45A0B1BE7045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a712f2adee2dba4d9163db53f42dc09f0586ab4d","datavalue":{"value":"7002280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610330$545F7772-2FA0-4F2C-B87E-0F48B6D1FDCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db438d2b2587d7a5998da42aecf77f3d9b051208","datavalue":{"value":"main lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610330$6394FFA2-BFF2-46CF-A35A-A4A943DAD022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610330$9FDE2815-2600-4EA1-80D5-E30C062B7A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d3880991ea27921e7c9d530a822065e364b1b0","datavalue":{"value":"substitution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610330$F8BE0185-24AD-47C3-B162-CF6D90409FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8d916e56299c78f64aa98c80283790d57dd387","datavalue":{"value":"identity rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610330$7A78F626-691A-48EB-A327-CE30A4FAD163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9032899792227e718f24f65d41414321e69546bd","datavalue":{"value":"function substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610330$C5A26E2E-C91D-4BE2-BE1F-B29888FE32F2","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":"Q4610330$A7451596-5901-4C07-955B-C4DDB91CAF2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$C0F93010-E47C-47AF-B0E4-B41FACB2B091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5c9cdb6cd3f1038d3bc19f6f1bd7e7a7f182b","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$F33D66D4-3C93-4A53-9BA6-E877FAAAC5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e495dd2b5859b4cf7381afd53d81b94eaf25cd66","datavalue":{"value":{"entity-type":"item","numeric-id":3129297,"id":"Q3129297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$D7A0DE76-778D-44EB-8F77-83B234135E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4883090fee4a18fce37441e60e7576f14bdf3e01","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$9BA59C33-57B2-43DA-A512-94A69CF58A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$45A75401-C68C-48CA-9E72-D157D8DF759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$6B19AE2E-FCBC-4AEA-AA97-6203EF2EC588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$FEEF9E95-8369-4957-977D-A5393F2A8D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$75C34DBA-B786-4342-A151-840A33F19076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$BEBBA3F7-C5CA-456A-B91C-BE1F20B1E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$8557A365-FC9B-42DB-BA74-7601C92F58BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610330$12E7AD73-097C-4DFD-95E8-CE42658C3C83","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":"Q4610330$70DFDDCF-CD94-4DD9-8605-FAF81202539F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a256e35070a2447d4a46fd39b9c241bd030c2ad","datavalue":{"value":"10.1007/BFB0027417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610330$6561C180-4EAE-4AFB-9159-C4F260756E6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f01351e1791b4a5255b43d9fe32de2206839c0","datavalue":{"value":{"entity-type":"item","numeric-id":3325693,"id":"Q3325693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b6e24c0274f755780f480d685b99ebcf9c5a0d","datavalue":{"value":{"amount":"+0.7203584909439087","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":"Q4610330$7313855C-0E49-4526-A11B-2C3BE73B84B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5923f078be3e8bae27ee77c18230eeeed12312","datavalue":{"value":{"entity-type":"item","numeric-id":4888336,"id":"Q4888336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d9cab9667dd60d70f947d7623ada77eb8cc635","datavalue":{"value":{"amount":"+0.6959247589111328","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":"Q4610330$246ED11B-AAD1-4463-9B0C-9B1430579195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95843bb573930f5bce22666ac0bb514bb090e3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5677452,"id":"Q5677452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77761b5479af910195771537eb547ae9547ada6c","datavalue":{"value":{"amount":"+0.6871197819709778","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":"Q4610330$3D66B800-15B9-4217-A41A-8995D8E3F40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f404f50c8456f02a2465d68b5c9cbbef3c687e93","datavalue":{"value":{"entity-type":"item","numeric-id":995673,"id":"Q995673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23dee4367a8dd95d185c60b75d1e84155e389e73","datavalue":{"value":{"amount":"+0.6869786977767944","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":"Q4610330$A648EC79-F875-4F37-90C2-D06339F49EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90da4d6e7f8c4b5d2db00c0f177c40e4486aef67","datavalue":{"value":{"entity-type":"item","numeric-id":5175990,"id":"Q5175990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98da38b38e8e68b619170a7834892257af8c9dba","datavalue":{"value":{"amount":"+0.6863297820091248","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":"Q4610330$BAEAF8F7-142A-4E73-84F0-74E0CDFFB2AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610330"}}}}}