{"entities":{"Q5900730":{"pageid":8007042,"ns":120,"title":"Item:Q5900730","lastrevid":50958581,"modified":"2026-01-15T22:40:46Z","type":"item","id":"Q5900730","labels":{"en":{"language":"en","value":"A principle for incorporating axioms into the first-order translation of modal formulae."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695421"}},"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":"Q5900730$19014659-C157-4885-B160-6021F5A1B455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900730$8CA4F72B-695E-4FAC-ABBA-12D6BE8A70E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cd1d56e2898b13b74f5339d746803af087eb33c","datavalue":{"value":"1278.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900730$2571E66A-654D-4C7B-A0FA-F22A7806A26F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900730$118FF496-B82A-4CD0-A93F-5169041E002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900730$7EB8F6B0-9A3C-46FB-BD86-B1A755E378D8","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":"Q5900730$3BCDB594-1D21-49BD-8752-61939CB7D46F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900730$AFC4B02B-08BA-48C2-B88B-0B8C13330E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900730$D9C4E01A-A104-4A5D-A03A-DA965580590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900730$B40E471B-CA2F-4B88-B5D1-589CDDFDCD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900730$1160F439-3ACE-4C35-802B-784D606F6728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d87a4114ba3dbb6563db357addaf12dc2e928d48","datavalue":{"value":"5695421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900730$EC947964-EA10-4141-956A-08410601E342","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b91ac32942574114e615de5dd586d7306b3c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":18709,"id":"Q18709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900730$DF763ABE-3D0E-4A7D-9D80-4BEBF5D3515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900730$F014420A-CCB7-4A20-82E0-0FC8DA8CDB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900730$6D6654DA-FE26-4469-9826-0DA1CFD94A67","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":"Q5900730$5F8A8FE6-555E-40BE-94C1-3B8F03005185","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900730$0DC0CD2B-36B2-4FAB-960A-DD2FF682A70C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900730$972A8112-574F-4967-AD94-621B292B9108","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900730$1E41E764-3B78-46A3-A142-EFF2C82F8EBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21319596713599630288e9a37aee41780d72e2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5277784,"id":"Q5277784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2990e5809b5bcdf8e9ac15fbff7ce3821e4e71f9","datavalue":{"value":{"amount":"+0.967454731464386","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":"Q5900730$82B9F3CF-270E-476D-BAC3-004FB26AB2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4218bafe9535cf8c15af114a234bb401c1fe04","datavalue":{"value":{"entity-type":"item","numeric-id":4365320,"id":"Q4365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e493cbe5a58f0050c143af7d3ca7007b74a9854","datavalue":{"value":{"amount":"+0.7787494659423828","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":"Q5900730$83A949A5-E386-49E1-809E-500D35E7E7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0bc3db9f544a0d2af7b777694ee79acef8ed47","datavalue":{"value":{"entity-type":"item","numeric-id":4282526,"id":"Q4282526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d1cd232ca434034c3c26781ea0dd60f2b00532","datavalue":{"value":{"amount":"+0.7758826613426208","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":"Q5900730$FEE62070-6E44-474D-8A75-C963A2F12AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914bfeb26c538e2778a70c32e0607b78e66e4f48","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc40de255c9c4f0c0459b04fbece3838e57281fb","datavalue":{"value":{"amount":"+0.7753890156745911","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":"Q5900730$07480DC2-4376-4606-BBB1-F837B37AAC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277cf3404f3c36d4d23aff25a2eccd52f302b293","datavalue":{"value":{"entity-type":"item","numeric-id":4536392,"id":"Q4536392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53088a3782265c66fb9d55b80e64f668ddd18c35","datavalue":{"value":{"amount":"+0.7680001258850098","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":"Q5900730$B51DBC62-263C-42D4-B994-C8490DC8B796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900730"}}}}}