{"entities":{"Q3773842":{"pageid":5803748,"ns":120,"title":"Item:Q3773842","lastrevid":81198050,"modified":"2026-05-06T17:57:50Z","type":"item","id":"Q3773842","labels":{"en":{"language":"en","value":"Parallel Theories and Routine Revision in First-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033691"}},"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":"Q3773842$08EF2253-9DBE-40E7-8055-E1C64E200C7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80029ba7acab0b2ee89df53cfde40ad291754c22","datavalue":{"value":{"text":"Parallel Theories and Routine Revision in First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3773842$13BAD2F2-EEC2-4D76-9AFA-C70345643781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a40de17e8ac2f41bd1a05a5bf3d5d877360f3269","datavalue":{"value":"0635.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773842$B8E9FC98-5173-4602-B465-9DFB25001FA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0093ab286beea8ae9003c2a053402bc57699c31","datavalue":{"value":{"entity-type":"item","numeric-id":3222162,"id":"Q3222162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773842$3808FA1D-6FC0-45F9-8B0E-B1CE7FB9FE63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773842$E2BC5EEC-B6AD-4E05-B097-96617D74EBF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3773842$C1ACB2DD-7010-41CD-AC70-2DB6AF00F066","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773842$26D6C489-2F9B-404E-B29C-2D4FE0AF0301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900fae5cc2e6135a678e0ef3bf8054b544113d38","datavalue":{"value":"4033691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773842$704F73D4-D3A7-438A-9E82-317CB48BE0B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520001e803c942fbf902f17562aa17fcae93f794","datavalue":{"value":"process of scientific investigation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773842$F112D158-50D7-44F8-B5C9-5501105A00FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c46f8c8ecfb669f38ce35c8a571330eba15b17b","datavalue":{"value":"methodology of scientific discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773842$3698570A-D91B-4BA8-8F54-0560666CFA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd5b0ce2e0e18fd4cda76f272f85d0cd0f28d4ed","datavalue":{"value":"inconsistent theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773842$A88807E8-6DCC-4174-8A84-1F5BE81C8DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5ce4327cd22e34fc5fb587f65eaa371eba1622","datavalue":{"value":"addition and elimination of premises","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773842$C30FCBB1-8BCF-4746-B567-A85E336AD59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91632a6c7c11a84fb4b3fec08d693a83f9ca4498","datavalue":{"value":"revision of sets of premises","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773842$24BDD72A-D9B4-476B-9572-862B016492D1","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":"Q3773842$144C57F5-74E4-4FF6-85D5-217449A58ADF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"298f27bd21820a90a6c03c9d26f7dc580b48a0c7","datavalue":{"value":"https://doi.org/10.1002/malq.19870330510","type":"string"},"datatype":"url"},"type":"statement","id":"Q3773842$A2D2658F-B5FB-4E80-BCB6-A85CC15BD163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c159f3bd3c47b3caca8b42ae4649c0adfb8a7958","datavalue":{"value":"W2078042275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773842$2F15D8FC-E22D-4177-8233-8D38DC9152D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"357d952892dd0947eb0652b0e095dfd15aca66fb","datavalue":{"value":"10.1002/MALQ.19870330510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773842$99FA89A0-F1D0-4222-833C-0876EEBDA631","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e165b37baafaf9a4392c0671ee43755790f929","datavalue":{"value":{"entity-type":"item","numeric-id":3600572,"id":"Q3600572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8600978806dd3a215ea53e2b3b1787a4556cdbf5","datavalue":{"value":{"amount":"+0.7424606084823608","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":"Q3773842$EB95A15C-2C1E-4D29-A301-5D8AC7E4B8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c325c285811a71c5a05555fd07b66419cc3588","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccdf27cbf3786f214eba4d0edc4b833fbfb73bc","datavalue":{"value":{"amount":"+0.741931140422821","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":"Q3773842$9C0CC8BA-0414-48CE-804F-6197DBF4BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca1dae3ae51c61652eb391eab96fe3060b84933","datavalue":{"value":{"entity-type":"item","numeric-id":2971678,"id":"Q2971678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a65cfe401ac2953af72186ed2cc6dc472e8097","datavalue":{"value":{"amount":"+0.7379952073097229","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":"Q3773842$43AA59C1-7F11-4602-BC3B-6425BE4BEDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52171ab15045459499bd414011a10c69401dd20b","datavalue":{"value":{"entity-type":"item","numeric-id":1202136,"id":"Q1202136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e801108ad8ff96566ad94eec80d8bb024aea52","datavalue":{"value":{"amount":"+0.7306275963783264","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":"Q3773842$B5BAF765-7A09-43E0-8F7F-295FA6793D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c6a974d2abde99651a3fbafa80fe0b2e634f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4023583,"id":"Q4023583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2ed23fc3b99b505ed633175cbbca5a16702395","datavalue":{"value":{"amount":"+0.7255942821502686","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":"Q3773842$949937F1-A6EE-4FC5-802A-4F2DD76212F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parallel Theories and Routine Revision in First-Order Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parallel_Theories_and_Routine_Revision_in_First-Order_Logic"}}}}}