{"entities":{"Q5881276":{"pageid":7910827,"ns":120,"title":"Item:Q5881276","lastrevid":41238597,"modified":"2025-04-23T05:42:55Z","type":"item","id":"Q5881276","labels":{"en":{"language":"en","value":"Completion of first-order clauses with equality by strict superposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661647"}},"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":"Q5881276$84574E41-ECF0-4B8C-90AB-38F34547C362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"904e964e6ead90268b53d0fd8449f5bccef5288f","datavalue":{"value":{"text":"Completion of first-order clauses with equality by strict superposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881276$BE1F1D1A-2A69-427D-B04A-62E549B2307B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db2d30c00def58b3c63a9e915ad6965ef0a59d8c","datavalue":{"value":"10.1007/3-540-54317-1_89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881276$406E8B5D-A24D-4868-ACA4-4E284A2FD901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$8EB7965F-125D-48C0-84B4-4E6B5651BC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$0DADEBAF-44EF-4A59-B12A-30727F4C8EF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$89BA05E5-3495-4F64-8983-999D8B482EC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881276$044F0713-0DC1-469E-B035-9FB6BE7A98C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881276$9C149F9D-410F-4E4E-9AB7-3C0AF1B97908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881276$E24B9A82-8766-4305-A661-0E007E638AC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b3d15e95ee68ddded432048d2380b9999bcfdb0","datavalue":{"value":"7661647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881276$EC12745E-762A-4874-AF7A-1A86CCC6CD35","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":"Q5881276$089F50C3-5658-4650-AE83-6E700B36AB1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31fea0488353c4a6c781c63f568422db4b38e43b","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_89","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881276$9B78D22B-6CEB-4F88-A83C-141DDAB2345C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3386a7d55e41837a0d0d397f3dc878abf2589f77","datavalue":{"value":"W1539329516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881276$617EA32E-48F4-41E7-BEF2-3C48F9A8B948","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba63cec2a86a6dc7431d441a20d30f64d69d94c","datavalue":{"value":{"entity-type":"item","numeric-id":5055711,"id":"Q5055711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$D7FA6985-7BDD-4559-B9BF-76189B75BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b777a302903125fe23797b9bf75d2ca49d181b97","datavalue":{"value":{"entity-type":"item","numeric-id":3817656,"id":"Q3817656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$AEE2E1B4-A8D2-4AAE-B2DD-B480D82E4817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ce7d0f1851c452c921612fdb804e4aabed6d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$7EE26AA9-F691-4920-AAC0-C1C1E8B12D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$7A2E765B-EEFA-4A0C-92BE-CB1BFCE43F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$D9B5CE0F-8E3F-4092-B896-15CD70192F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7244bc005d8f2c4f58ae719a7ee80334b8ae29","datavalue":{"value":{"entity-type":"item","numeric-id":3798649,"id":"Q3798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$B51A7E26-135C-4669-8B6E-91C12C99F3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$E59A827A-597C-4BCE-A0A9-2E6850DDA8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$A172D3DD-ECC6-4FA3-8222-74E241763053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$FD46A133-689F-4A1C-BD84-7AA4C1304759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e4d5d206133d3398c50fe5451aaece0e817a40","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881276$7F90789E-5CE8-4AC9-9266-0422BF14CAEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766816f4aa439bab768f8a9062b1339090f5bda9","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c439791685529a3c66e5ff0a72e5c96f3e27c5d","datavalue":{"value":{"amount":"+0.86754733","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":"Q5881276$792CBC43-5E82-46C8-B943-D757BF4AED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecc62da2baf7dcc1ce0f207f1a460233baca30a","datavalue":{"value":{"entity-type":"item","numeric-id":751309,"id":"Q751309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0669cce2fc3cd0c98a0d9441f80879d96a8e79","datavalue":{"value":{"amount":"+0.8645371","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":"Q5881276$AFC2A34B-009B-42C7-AC54-E3A0A1FFC37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e64bb7eb8da543764e4164687d6b39418373692","datavalue":{"value":{"entity-type":"item","numeric-id":5222964,"id":"Q5222964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc414183573a5f14e8e736dc6210954bf5f628fd","datavalue":{"value":{"amount":"+0.8590324","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":"Q5881276$3CFE1FB7-60E0-4858-AD18-E28E7D2AB785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0481f031154a8dd53d911682af117a071e4b93aa","datavalue":{"value":{"entity-type":"item","numeric-id":3179309,"id":"Q3179309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311ed77af264154945748e8acaa24d7fcf54f22a","datavalue":{"value":{"amount":"+0.8589164","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":"Q5881276$42C876CD-23BF-46A2-9A24-A348836DBBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d74d9c8e0e524ff6a1666b660235e14a06b097","datavalue":{"value":{"entity-type":"item","numeric-id":3735688,"id":"Q3735688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7cec237ce417c9248c7f24da16d8f320a9e1008","datavalue":{"value":{"amount":"+0.85790396","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":"Q5881276$4CA1B4E3-EA80-488E-9512-DDB87BACF39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d2601f2a687ae1d279514dfbf8f168e27a265a","datavalue":{"value":{"entity-type":"item","numeric-id":1118588,"id":"Q1118588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34bc1333f5e426c71579ba76da06a95878ef0479","datavalue":{"value":{"amount":"+0.8573717","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":"Q5881276$C99701F6-C3E5-4A53-A032-CA78FE6C41C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a674c3d8f7eb7ebb4ff5cbcc0c7f9157690e531f","datavalue":{"value":{"entity-type":"item","numeric-id":2209502,"id":"Q2209502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c53011365a0ee63f87dafb17cdd03213807141","datavalue":{"value":{"amount":"+0.8565235","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":"Q5881276$6D4363A4-6745-4E2D-85D3-BB1459BA77DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583bd25e6d02734d27c671a7b7322637c9cac335","datavalue":{"value":{"entity-type":"item","numeric-id":4928428,"id":"Q4928428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f466f2375d2892400cf3a325eb91b1047e67374","datavalue":{"value":{"amount":"+0.85556245","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":"Q5881276$29A56E6C-F2A6-4A3C-A711-899FC6883C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567c77652255771f559b2a0ada3765edba22a7bd","datavalue":{"value":{"amount":"+0.8554094","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":"Q5881276$70F6A6A5-27B9-42BB-AD4F-F4DC59210F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262cee6a0be04917e8b2aa10f7c3d46b849f70c9","datavalue":{"value":{"entity-type":"item","numeric-id":4503913,"id":"Q4503913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b4b5e624fd459989de283a6ca1a66df3f5d154","datavalue":{"value":{"amount":"+0.8544587","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":"Q5881276$DF0428F9-AAC5-48EB-AFF1-E771EC50F9F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881276"}}}}}