{"entities":{"Q1098330":{"pageid":1109082,"ns":120,"title":"Item:Q1098330","lastrevid":66126348,"modified":"2026-04-12T07:43:33Z","type":"item","id":"Q1098330","labels":{"en":{"language":"en","value":"A structure-preserving clause form translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037272"}},"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":"Q1098330$7CE0657D-0662-4E03-AEFA-857A29DAD5FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70293a06f48be036a61f4257d57f6082bcbe8ca1","datavalue":{"value":{"text":"A structure-preserving clause form translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098330$C7764619-C0CC-4CBD-B3A2-92827BDD7165","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9bf88dadb7be4b835da413943a4a7b7480d2493","datavalue":{"value":"0636.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098330$621B8E19-BCA5-4CE6-A601-6609A434AF46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e01ba08ba3460baff399c010df1cc90db0b654f","datavalue":{"value":"10.1016/S0747-7171(86)80028-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098330$EB0A022C-D5EA-4C2E-A76F-98851F26E7DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c86adcb358d79837114e187c090d0d245b87cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1098329,"id":"Q1098329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$3A3F13A4-0339-4BF2-AC64-CC99D5AB6795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$5BC08FD9-3C7A-4170-A0EC-C16CB317EAE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$03971634-993D-4E1A-99E8-AB7A0712BE2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1098330$B095DC01-7FBC-4B51-9E79-7EB16575AFFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098330$59710FBA-58C3-40CF-AA63-A20E7416C331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098330$8174870C-F13F-4A09-A5B3-BADCB315259C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0740a27133d102c17f5b0f9634addef0a708487a","datavalue":{"value":"4037272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098330$AAD10633-F99D-46D5-9043-4B427A12D200","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89fc6707992ee884a1e2e90d790eb41dc01ad622","datavalue":{"value":"resolution theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098330$E50E3084-C558-45F0-8FB6-3AB3BC4B31AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0420edf6191a164b8cd952e3b9edf08283dff0","datavalue":{"value":"lock resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098330$4AF007B1-94D4-44E7-BF46-5E94E7EBA5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65641d58a5c28ad5ebc0bce6c121ff000d99caf","datavalue":{"value":"clause form translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098330$86E3B3C9-5992-4979-9EE7-70F62FFBD550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098330$2A2C1222-63C7-4B3A-B103-E4C80104B9C2","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":"Q1098330$9D6BBAAC-4ACC-41E1-9C04-31EF9351D08F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1a92c485fe8c783a49d52cdba67663cbb4e6f68","datavalue":{"value":"Q29031727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098330$E8092E5B-2817-45F2-B50A-E31985CE114F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f20e02bb907f90cb22a0a676f448fd7139f7410","datavalue":{"value":{"entity-type":"item","numeric-id":2547495,"id":"Q2547495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$2E84CC39-7605-4194-AF48-B7B0355ED26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a30605f1ebdbd14040c016d942a5c6190434145","datavalue":{"value":{"entity-type":"item","numeric-id":3709919,"id":"Q3709919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$D7241AB1-1B7F-4629-A83C-21171459B697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$1C26DAC9-C50D-497D-A6B1-492648328F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7ac24fd531f581fbac6bf121377ab8b25a4774","datavalue":{"value":{"entity-type":"item","numeric-id":3667969,"id":"Q3667969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$ACC8BF35-DB40-45E3-B5D8-151185A59BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$C2438509-34B0-4C00-8D52-8DB3A0952E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$F80D924C-CE8C-49EE-9849-23E3DD4B5992","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":"Q1098330$BCE28128-6236-419F-B9F0-092B2CCE5F7E","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":"Q1098330$1F350AF7-74A0-4137-A0B9-38D1495BE652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbfa73ac9df18013941340d21a3347d9c36dd18","datavalue":{"value":{"entity-type":"item","numeric-id":3857732,"id":"Q3857732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098330$4E6FEF19-862E-4363-A7E7-6C0CF45D0CAC","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":"Q1098330$9E85A4E9-BEF0-4A50-B8AA-046E52285F6E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"67c57c91f05905fb71729ecf88fcd3b070b6f124","datavalue":{"value":"journals/jsc/PlaistedG86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098330$2E8A5663-E7B4-4D48-9EC9-91080F1CC6C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6f16903221c3706dda4976c4007e748246f154","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c99dcb77acce07d9589ab96679c5f0a0b50c85","datavalue":{"value":{"amount":"+0.8545109629631042","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":"Q1098330$A820D942-E909-4F20-90CE-6BAAB132AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b277717c8a2c42e9b033effc04c094004c0e77","datavalue":{"value":{"entity-type":"item","numeric-id":6488560,"id":"Q6488560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba8d78e9df98ae750d8f2a5aed671e1853ff625","datavalue":{"value":{"amount":"+0.8337054252624512","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":"Q1098330$6D4552F5-B2BC-4A8B-9BE6-9B5B09FE9F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c498a7a56adcca0969740beddf72861225a280","datavalue":{"value":{"entity-type":"item","numeric-id":3341945,"id":"Q3341945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39ac577fcd4abe5f7bc1259754df77e1455b0a6","datavalue":{"value":{"amount":"+0.8085055947303772","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":"Q1098330$F50009F1-A523-4943-A663-4A0DF303194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7f3731b78075daa894e98fe63ef686e3b32a9c","datavalue":{"value":{"entity-type":"item","numeric-id":809622,"id":"Q809622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ea51db2c3f2f0fb6b14462f00fd7d892f2b64a","datavalue":{"value":{"amount":"+0.8050553202629089","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":"Q1098330$06496688-BEF5-4C54-B956-9DB4CF1ED483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed6113f1c0f28cdac379966e65a1421c2d31311","datavalue":{"value":{"entity-type":"item","numeric-id":4202114,"id":"Q4202114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3b19a1fcd12c5897f12203330ddf684a461ade","datavalue":{"value":{"amount":"+0.7929170727729797","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":"Q1098330$6151A003-1E60-427B-9DEA-B7C93B3D5855","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A structure-preserving clause form translation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_structure-preserving_clause_form_translation"}}}}}