{"entities":{"Q3899468":{"pageid":5929373,"ns":120,"title":"Item:Q3899468","lastrevid":87779588,"modified":"2026-06-04T12:41:44Z","type":"item","id":"Q3899468","labels":{"en":{"language":"en","value":"Simplification by Cooperating Decision Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3707733"}},"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":"Q3899468$18368A67-E06C-4B84-8D08-60FFC8421424","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3181ec4b3927fc4fa2a986c2f5f61a4adc5418c","datavalue":{"value":{"text":"Simplification by Cooperating Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3899468$9883DF82-2663-4A27-8A5E-D3A8775D8B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4836a9d80bce76b0d2b8772244ce548312d69d35","datavalue":{"value":"0452.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$3660E27D-15A2-4E21-A672-AD7D1D33AC2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1a5d38a9a7738792ed3075432c09edd1f95f816","datavalue":{"value":"10.1145/357073.357079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$862AC88B-D8B3-49BC-A952-48BA34A56470","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2a53010e3685eebfac0fac4337e9c95dbc3c14","datavalue":{"value":{"entity-type":"item","numeric-id":2767988,"id":"Q2767988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899468$14F22BFF-1350-49DB-BC42-3E6F40B0A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45c6592e2438a48f764e1b44f725e4446045df07","datavalue":{"value":{"entity-type":"item","numeric-id":1141137,"id":"Q1141137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899468$028C0FAF-0C47-4B02-A4FD-75846E66997E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899468$C668DF61-2790-4653-87F3-034B3653FB88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3899468$49686932-1050-42C4-ABDA-B7CEBC68AE5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$67512B1A-9173-4B5D-BB26-454828600654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$D2481924-5241-4CCB-B834-AECFF645AD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$8E5DD803-F9C5-4B0B-B457-B3AACCDEEC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$DF8550F6-7CF6-4179-B847-872FDABE3F91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e6a6cb567ca46dd3473c235acf2f0767d2473a7","datavalue":{"value":"3707733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$55E9B4C2-AF0C-42FE-B82F-5463CA56590D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899468$BDFF048A-7C3B-4C58-8C35-1DE179CD23BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c9990507f590bbcc8cb65bfa579259b003fb4a","datavalue":{"value":"program manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899468$149720D1-C459-464A-A06C-316CD752718D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899468$F414DDDF-40C1-4C54-A3DA-16802018B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899468$E7BD0F70-F54E-4D5D-9835-6F96F7BD7F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde94ab0ead7c7158cc624a23e8bc3a792dd5926","datavalue":{"value":"simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899468$B06A2F2D-5316-4D8E-B594-CAB62499F20B","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":"Q3899468$A59CF02A-9F10-467F-82B7-6F12672951CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d831c1d49c24a13c80c216b8284f0c9ca4d676a3","datavalue":{"value":"https://doi.org/10.1145/357073.357079","type":"string"},"datatype":"url"},"type":"statement","id":"Q3899468$7846EB24-518A-49CC-831F-2EB5869B378D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bfa7767517445b81a3b74a4ce881c024227a519","datavalue":{"value":"W2164778826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899468$80B11AA9-1153-4668-B5AB-0F028A0EC416","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplification by Cooperating Decision Procedures","badges":[]}}}}}