{"entities":{"Q1065781":{"pageid":1076533,"ns":120,"title":"Item:Q1065781","lastrevid":69551016,"modified":"2026-04-13T07:46:47Z","type":"item","id":"Q1065781","labels":{"en":{"language":"en","value":"Invariant transformations of formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922616"}},"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":"Q1065781$03CB009C-5810-4717-8AB8-C0C5E7DED6A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8044758fcc4eee4d3ff97c67df3e8daf199eecf5","datavalue":{"value":{"text":"Invariant transformations of formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065781$9554AF10-282F-42A8-B8CE-24CA037DB374","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd2e0ae4de716858faf43ea73b3d2361e9c90092","datavalue":{"value":"0577.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065781$146F88B9-0E1B-4B9F-9993-1060E536640A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d68e43bcc5f9267801fceb844b3378cd70f83acb","datavalue":{"value":"10.1007/BF01156469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065781$4DC18F75-FB29-48EF-AA02-A6E149758655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5e05fc5162355cd2e06773b462a5c28f32c630","datavalue":{"value":{"entity-type":"item","numeric-id":446184,"id":"Q446184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065781$DC86919D-3FB7-4965-9499-D02595EDA649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065781$9AC9AB0F-9EA0-46B1-B6DD-C312536823B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1065781$663D2336-082A-4F6F-850A-2131A5B5FDE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b37b4c7abe0d8ec5965295693657b0df9d727873","datavalue":{"value":"The paper is concerned with the invariance of some transformations of formulas in predicate logic with respect to classes of models. These transformations, called \\(\\zeta\\)-transformations, are based on a general modus ponens rule. An existential quantifier (\\(\\exists y)\\) is defined to be essential with respect to a class of models K if \\(Q_ 1(\\exists y)Q_ 2(F(y)\\to G(y))\\) is valid in all models of K, while \\(Q_ 1(\\forall x)Q_ 2(F(x)\\to G(x))\\) is false in all models of K. It is proved, that \\(\\zeta_ A\\)- for A of the form \\(Q(\\exists y)(F(\\bar x)\\to G(\\bar x,\\bar y))\\)- is invariant iff A has no essential \\(\\exists\\)- quantifiers \\((\\zeta_ A\\) is a transformation of formulas which depends on A and has the form \\(Q(F(\\bar x)\\to G(\\bar x)).\\)    Moreover variants \\(\\zeta\\), \\(\\zeta^*\\) of the transformation \\(\\zeta\\) are defined, which differ with respect to the quantifier prefix of the transformation. The second theorem establishes a criterion for the invariance of \\(\\zeta^*\\) under restriction on the signature of the models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065781$8F52D724-A234-4482-978C-08B7804E6980","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2131474b61f9492afe33179f8e943fe4605532de","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065781$C77F279D-395F-4D4D-A7CE-204D7BC5272F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065781$76B60104-978F-44E9-90AB-D72C4CB910A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065781$EFA7A737-5925-4BA3-BED3-68427F097772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065781$6B6831B3-E13F-4255-9D13-3698FE9ED0FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbaa7d3cbb46374d1c01b6fb07838f5a2cb900b5","datavalue":{"value":"3922616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065781$221E6B07-C237-4540-A97B-8A42E10AE1A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065781$15105ED3-BE00-4E85-8B34-F24FD2224D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c65f0e41eeef06fe0279ae1ecdd2c3a2202dd2d","datavalue":{"value":"classes of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065781$65E28F70-8490-4B3B-99C8-918408A7E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065781$AB40E8F5-4CB5-4DE9-8562-85E4D50C0751","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":"Q1065781$53C2DD05-5A02-4B97-86C8-A287D372F245","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc65337b9073787c4e2d6b54fdee87b396d178d","datavalue":{"value":{"entity-type":"item","numeric-id":3872430,"id":"Q3872430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065781$26687357-E942-4995-880D-4D66D483B7BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bdd291881d7f7732a4a85951cdaa9518add174a","datavalue":{"value":"https://doi.org/10.1007/bf01156469","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065781$571102AB-5AA2-41EF-8BC0-ED6842483D26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54ff534dfd638297c2e9771ca9f3293eff2ab9e2","datavalue":{"value":"W2037299026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065781$FCEFF898-0D55-4951-970C-8CABE761768A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ceebe865e77aff9416d0797ad6740927d1eddd","datavalue":{"value":{"entity-type":"item","numeric-id":3808065,"id":"Q3808065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db1a872484cf16ec4ca81d703d1538896f18ac4","datavalue":{"value":{"amount":"+0.9831327","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":"Q1065781$4142A944-BCFB-4DAA-999B-CA46DF6E6F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db747dedbe99afa5a78cc85ea4fa19e4edda5754","datavalue":{"value":{"entity-type":"item","numeric-id":3417091,"id":"Q3417091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3b8859a6f4e098b995e6ab90702f61e3a9b6c6","datavalue":{"value":{"amount":"+0.9012788","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":"Q1065781$96EC770E-11C4-42D8-AF77-BB8F0ABE63BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc5b7279166266cec5d4ba4160bd4c61f28ce06","datavalue":{"value":{"entity-type":"item","numeric-id":2881460,"id":"Q2881460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3b8859a6f4e098b995e6ab90702f61e3a9b6c6","datavalue":{"value":{"amount":"+0.9012788","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":"Q1065781$4AAFF889-ED3B-4232-96A2-0841DB7D559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8a2fab182b401d2405e3a31070e7763ca31961","datavalue":{"value":{"entity-type":"item","numeric-id":4460627,"id":"Q4460627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f634212fda06755e0782dcac2f05f8c3d0698286","datavalue":{"value":{"amount":"+0.88830763","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":"Q1065781$193A5830-19E1-43BD-8C2C-4D32AA78D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d40b81b6764577d2eaab548e3e99a687a63f744","datavalue":{"value":{"entity-type":"item","numeric-id":3199120,"id":"Q3199120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c535e42e71a3f89944f97eb564dd43873f7366a1","datavalue":{"value":{"amount":"+0.8879649","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":"Q1065781$930B8616-A70E-4519-8161-95AB4D8E3DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26ad1d03466aa8ccfa9ddd3c558431d0f082fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3487566,"id":"Q3487566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a1b762d9c51d59f6aec9fcfb44268789dcda59","datavalue":{"value":{"amount":"+0.86988544","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":"Q1065781$AC2321DF-F811-49FE-8397-016626BFEE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6aa9292caedd162c3913e33efde375b8f3644b4","datavalue":{"value":{"entity-type":"item","numeric-id":3834330,"id":"Q3834330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556d039bdc293960921527b77e3a4967ca460acc","datavalue":{"value":{"amount":"+0.86963254","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":"Q1065781$F89DB485-EE7F-460B-B221-6E412F73AA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f60a9b867b121ccf1dc8a96e735330e6963aee","datavalue":{"value":{"entity-type":"item","numeric-id":801314,"id":"Q801314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1d258806083ab2ae5bbc0f272056edb306e929","datavalue":{"value":{"amount":"+0.8669407","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":"Q1065781$C05A6C86-6657-4FFB-B4DC-05B29E6EE40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13add9bf04fb14248ae473f1b657c01d438c4281","datavalue":{"value":{"entity-type":"item","numeric-id":1190051,"id":"Q1190051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ddee32493731d9a94d12ccae966d2813b900f5","datavalue":{"value":{"amount":"+0.86378795","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":"Q1065781$FF00C559-9967-4658-81D5-0F283EA0D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e01c8a3a9c8e2c66aa9041f7341d846e60fc52","datavalue":{"value":{"entity-type":"item","numeric-id":3492008,"id":"Q3492008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db578236ad2bfbf877dfa08a7f58a715cb9baaec","datavalue":{"value":{"amount":"+0.8632325","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":"Q1065781$3BE823E1-0F0F-4DE6-A3C4-2A13C6A5EEF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant transformations of formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_transformations_of_formulas"}}}}}